http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49993
--- Comment #1 from Arnaud Desitter <arnaud02 at users dot sourceforge.net> 2011-08-08 10:28:27 UTC --- The equivalent "C" program results in the expected "segmentation fault". void a1(int *ia) { *ia = 1; } void a2(void) { static const int ia[] = { 2 }; a1(ia); } int main(void) { a2(); return 0; }