https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114574
--- Comment #26 from uecker at gcc dot gnu.org --- Note that not updating the types seems wrong also pre C23. PR114493 could be an example of this: typedef struct a a; int c; int f(a **); struct __attribute__((__may_alias__)) a {};