https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93806
--- Comment #13 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- (In reply to Rich Felker from comment #12) > To me the meaning of internal consistency is very clear: that the semantics > of the C language specification are honored and that the only valid > transformations are those that follow the "as-if rule". which is not clear... > Since C without Annex F allows arbitrarily awful floating point results, In C without Annex F, division by 0 is undefined behavior (really undefined behavior, not an unspecified result, which would be very different). With the examples using divisions by 0, you need to assume that Annex F applies, but at the same time, with your interpretation, -fno-signed-zeros breaks Annex F in some cases, e.g. if you have floating-point divisions by 0. So I don't follow you...
