http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54932
--- Comment #13 from Jan Hubicka <hubicka at ucw dot cz> 2013-02-04 00:16:44 UTC --- > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54932 > > --- Comment #12 from Dominique d'Humieres <dominiq at lps dot ens.fr> > 2013-02-01 13:59:11 UTC --- > (In reply to comment #11) > > > > Thus, I close the bug as INVALID. > > > ... in wich case could you, please, update the testcase to be valid and > > > remove > > > the XFAIL I introduced? > > > > We jump through some hoops in or DO loop code generation to execute > > a loop until HUGE(i) in a way that somebody who did not read the > > standard well might expect, but which is actually invalid. > > > > If we do not do this any more, then we can probably simplify our DO > > loops considerably. > > This is probably too late for 4.8.0. The following patch takes advantage of > the > new option -fno-aggressive-loop-optimizations to remove the xfail (and the two > XPASS at -O0 and -O1): This seems like good idea even fo 4.8. Please also split the testcase - it contains several tests and only one has invalid overflow. Honza