https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64663
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Reduced testcase -O2 -g: void foo (void) { int a[9]; a[-8] = 0; } surprisingly doesn't ICE with -7 or -9 instead of -8, ICEs again with -16. Will have a look.