https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114574
Martin Uecker <muecker at gwdg dot de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |muecker at gwdg dot de --- Comment #13 from Martin Uecker <muecker at gwdg dot de> --- (In reply to Richard Biener from comment #11) > Wrong TYPE_CANONICAL leads to wrong TBAA. And yes "fixing" TYPE_CANONICAL > after the fact means possibly merging two equivalence classes which means > you have to > fix all members of both classes to have the corresponding TYPE_CANONICAL. > Plus > the complication of derived types (vector, pointer, and others) which have > constraints based on their contained type equivalence class. Is upgrading incomplete types from structural comparison to TYPE_CANONICAL meant to be allowed?