http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56937
Mikael Morin <mikael at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mikael at gcc dot gnu.org
--- Comment #3 from Mikael Morin <mikael at gcc dot gnu.org> 2013-04-13
10:15:03 UTC ---
(In reply to comment #0)
> In other words, the following program should print "1.0" and not "0.5".
Technically, the program is invalid (for the reason you quote), so there isn't
any valid result.
