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?
