https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119792
--- Comment #16 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Eric, can you try to read through > https://gcc.gnu.org/wiki/document-middle-end-type-system and amend > it with comments about Ada? I added a minimal comment about TYPE_CANONICAL a couple of days ago. > I'm especially curious what exactly the properties are that are not useless > in the VIEW_CONVERT_EXPRs that get wrongly stripped here? The VIEW_CONVERT_EXPR gives the (fixed) size of the RHS of an assignment, the RHS being the dereference of a pointer to a self-referential type (type_contains_placeholder_p).
