[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 #28 from uecker at gcc dot gnu.org ---

I am not sure alias set zero is a solution because it seems you would have to
make many types have set zero to be correct.  Capturing the equivalence classes
using TYPA_CANONICAL seems a sound approach in principle and seems in line with
how it was used already  before (by ignoring various aspects of the type which
may ti incompatible).  The useless conversion would need to be consistent with
it, but this seems to be the case.