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).
