https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70875
--- Comment #10 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Starting program: /home/ebotcazou/bounds-3 [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/sparc64-linux-gnu/libthread_db.so.1". bounds-3.c:13:11: runtime error: index 2 out of bounds for type 'S [2]' Program received signal SIGSEGV, Segmentation fault. 0x0000000000100828 in foo (n=2, k=2) at bounds-3.c:13 13 return s[k].value = 0;