[Bug c/113688] [14 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 #29 from uecker at gcc dot gnu.org ---

Note that this is not directly related to C23 changes. C23 changes reuse the
across TU rules also inside TU.  But here the problem is that the across TU
aliasing was already broken in some corner cases even before C23 which causes
subtle miscompilation errors.