https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113438
--- Comment #1 from Alex Coplan <acoplan at gcc dot gnu.org> --- I also noticed the following C23 failures, not sure if these are worth tracking separately or not: FAIL: gcc.dg/gnu23-tag-1.c (internal compiler error: 'verify_type' failed) FAIL: gcc.dg/gnu23-tag-4.c (internal compiler error: 'verify_type' failed) FAIL: gcc.dg/gnu23-tag-alias-1.c (internal compiler error: 'verify_type' failed)