[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

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

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

--- Comment #34 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Those aliasing bugs are very annoying though and I think one reason people
> who care about correctness / reliability tend to use -fno-strict-alasing. It
> would be nice to get this sorted out instead of walking back on fixes.

Sorry, I don't have the time to do this for Ada on the 14 branch this late in
the release cycle (but I don't mind to do it for the future 15 branch).