http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56932
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2013-04-12 11:50:23 UTC --- The testcase in gcc.c-torture/execute/pr55875.c does seem off by 1. For i==250, i+5 is 255 and we don't exit yet (that happens for 251) but we do write to the array. Increasing the size of the array to 251 is enough.