http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54767
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-15 11:28:48 UTC --- Exactly the same issue as PR53465, just instead of an equivalence we have a symbolic range [_79, _79] which is of course also an "equivalence". Trunk fails for the reduced testcase if you enlarge the array: integer :: NXX (14) = (/ 0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14 /) otherwise the loop is unrolled.