[Bug c/114361] New: ICE with c23 when creating mutually nested and compatible types with statement expressions

[muecker at gwdg dot de via Gcc-bugs]

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

            Bug ID: 114361
           Summary: ICE with c23 when creating mutually nested and
                    compatible types with statement expressions
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: muecker at gwdg dot de
  Target Milestone: ---

This fails in verify_type (goes away with -fchecking=0):

void f()
{
    typedef struct foo bar;
    typedef __typeof( ({ (struct foo { bar *x; }){ }; }) ) wuz;
    struct foo { wuz *x; };
}

https://godbolt.org/z/q7n5xbsc1