https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99122
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
And one case is not covered, callee like foo in #c2, but caller passing non-VLA
argument (whatever, a double, struct S { char a[4]; }, int, etc.
