[Bug tree-optimization/120948] Cannot detect potential division-by-zero when numerator is 1 and denominator is variable

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120948

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #5)
>  But of course if we'd want to expose
> this to the user it might instead be
> 
> x = __builtin_assume (x != 0);

I dont see why we want to expose this to the user with the builtin as there is
already the assume attribute which we already translate to if(...)
__builtin_unreachable(); 
Which we could translate into the internal assume ...