It looks like the code that is generated is actually correct, so it's only a bogus warning. I suggest we forward it upstream.
I will create a separate gcc PR for the related problem discussed with
Andrew in private mail: gcc doesn't reject jumps into a VLA's scope.
--
Falk
