https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35980
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |INVALID Status|UNCONFIRMED |RESOLVED --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Given the semantics differ when dereferencing the pointer but do not apply to the pointer itself I think the PR is invalid. In fact we do want objects of type mytype * and int * to alias, so having the same canonical type is required.