https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120901
Bug ID: 120901 Summary: missing diagnostics about jump into scope after defining of a VLA struct Product: gcc Version: 16.0 Status: UNCONFIRMED Keywords: accepts-invalid, diagnostic Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: pinskia at gcc dot gnu.org Target Milestone: --- While looking into PR 120899, I noticed we don't error out for the following code: ``` int main(int argc, char *argv[]) { goto lab; struct c { int a[argc]; }; lab: ; struct c a; } ```