https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80168
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > I'm not sure this is valid given 'a' is global. It is valid, VLA size is just an integral expression, and a is a valid expression. The size is computed at the point where the VLA is declared (we remember there the size in some temporary if we need it later).