http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58146
--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- (In reply to Mikael Morin from comment #5) > Technically a(n+1:n+4) is within the bounds, the out of bounds comes from > the loop with a 5-sized array. The array expressions are not conformable, so it is a bounds error either way.