Index: gcc-interface/decl.c =================================================================== --- gcc-interface/decl.c (revision 248321) +++ gcc-interface/decl.c (working copy) @@ -310,11 +310,13 @@ gnat_to_gnu_entity (Entity_Id gnat_entit /* Contains the list of attributes directly attached to the entity. */ struct attrib *attr_list = NULL; - /* Since a use of an Itype is a definition, process it as such if it - is not in a with'ed unit. */ + /* Since a use of an Itype is a definition, process it as such if it is in + the main unit, except for E_Access_Subtype because it's actually a use + of its base type, see below. */ if (!definition && is_type && Is_Itype (gnat_entity) + && Ekind (gnat_entity) != E_Access_Subtype && !present_gnu_tree (gnat_entity) && In_Extended_Main_Code_Unit (gnat_entity)) { @@ -3823,7 +3825,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entit case E_Access_Subtype: /* We treat this as identical to its base type; any constraint is meaningful only to the front-end. */ - gnu_type = gnat_to_gnu_type (Etype (gnat_entity)); + gnu_decl = gnat_to_gnu_entity (Etype (gnat_entity), NULL_TREE, false); + saved = true; /* The designated subtype must be elaborated as well, if it does not have its own freeze node. But designated subtypes created @@ -3855,8 +3858,6 @@ gnat_to_gnu_entity (Entity_Id gnat_entit gnat_to_gnu_entity (Directly_Designated_Type (gnat_entity), NULL_TREE, false); } - - maybe_present = true; break; /* Subprogram Entities