http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54932
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-15 11:49:08 UTC --- If Fortran requires i to be HUGE(i) + 1 after the loop body then what does it say about the overflow? That is, what would be valid at the end of this loop? if (i .ne. HUGE(i) + 1) call abort ?