https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111655
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |4.8.5
Target Milestone|--- |11.5
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
And this conservatively has to apply to all FP divisions where we might infer
"nonnegative" unless we can also infer !zerop? On the side of replacing
all uses I'd error on simply not folding.
Note 6.5.5/6 says "In both operations, if the value of the second operand is
zero, the behavior is undefined." only remotely implying this doesn't
apply to non-integer types (remotely by including modulo behavior in this
sentence).
Possibly in some other place the C standard makes FP division by zero subject
to other rules.
