[Bug c/113688] [14/15 Regression] verify_type fails for compatible structs with FAM in C23, builtin-sprintf-warn-1.c and gnu23-tag-1.c with -g

[uecker at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113688

--- Comment #8 from uecker at gcc dot gnu.org ---

Hm, although in this case
```
struct S{int x,y[1];}*a;
int main(void){
        struct S{int x,y[];} *b; // Add = a to get an error;
}
```
the types are not compatible but we still run into this issue for -g