https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35980
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Hmm, we used to warn (error out for -pedantic-errors) for: typedef int __attribute__((may_alias)) mytype; mytype a; int *p = &a; But starting in GCC 7, we no longer do.