https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116780
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> --- (In reply to denisc from comment #2) > Comment on attachment 59393 [details] > Simplified testcase > > void > f () > { > volatile char c[0]; > c[0] = 0; > } That is invalid C code, of course (an out of bounds access).