[Bug fortran/54932] Invalid loop code generated by Fortran FE for loops with bounds in HIGH(type)

[rguenth at gcc dot gnu.org]

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

?