[Bug tree-optimization/64130] vrp: handle non zero constant divided by range cannot be zero.

pinskia at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri Jun 19 07:13:00 GMT 2015


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

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Marc Glisse from comment #6)
> (In reply to kugan from comment #5)
> > I think it should be in from front-end? 
> 
> ?

Yes this is really not a good comment to make.  This is not even front-end
specific optimization and can happen in Fortran, Ada, etc.
Basically when a > 100, 100/a is 0 so 100/a == 0 is the same as a > 100.



More information about the Gcc-bugs mailing list