https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117145
--- Comment #4 from uecker at gcc dot gnu.org --- A bit nicer test: void b(); int e(int *c, struct d { [[gnu::vector_size(4)]] char an[*c]; } *) { (void)sizeof(struct d); return 0; } void f() { int a = 0; if (e(&a, 0)) b(); } https://godbolt.org/z/Wb79jb7Te