------- Comment #6 from fxcoudert at gcc dot gnu dot org 2007-11-28 18:03 ------- I consider this a bug. I have to check, but I think that the IEEE rules are clear, even though they are not mandatory until we introduce the corresponding standard modules. The calculation of y does overflow, and while we can debate on what the behaviour of -fno-range-check should be, I think there is a strong case for doing the same thing that a) other compilers do, b) IEEE mandates, c) is what would happen if it occurred at runtime.
-- fxcoudert at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fxcoudert at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34230