diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index efeafda..4554f24 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1578,7 +1578,7 @@ package Sem_Util is -- underlying type). function Has_Suffix (E : Entity_Id; Suffix : Character) return Boolean; - -- Returns true if the last character of E is Suffix. Used in Assertions. + -- Returns true if the last character of E is Suffix. function Has_Tagged_Component (Typ : Entity_Id) return Boolean; -- Returns True if Typ is a composite type (array or record) that is either @@ -2131,7 +2131,7 @@ package Sem_Util is -- object as per RM C.6(8). function Is_Inherited_Operation (E : Entity_Id) return Boolean; - -- E is a subprogram. Return True is E is an implicit operation inherited + -- E is a subprogram. Return True if E is an implicit operation inherited -- by a derived type declaration. function Is_Inlinable_Expression_Function (Subp : Entity_Id) return Boolean; @@ -2196,7 +2196,7 @@ package Sem_Util is -- the encapsulated expression is nontrivial. function Is_Null_Extension - (T : Entity_Id; Ignore_Privacy : Boolean := False) return Boolean; + (T : Entity_Id; Ignore_Privacy : Boolean := False) return Boolean; -- Given a tagged type, returns True if argument is a type extension -- that introduces no new components (discriminant or nondiscriminant). -- Ignore_Privacy should be True for use in implementing dynamic semantics. @@ -2449,6 +2449,10 @@ package Sem_Util is -- Determine whether an arbitrary entity denotes an instance of function -- Ada.Unchecked_Conversion. + function Is_Unchecked_Union_Equality (Id : Entity_Id) return Boolean; + -- Determine whether an arbitrary entity denotes the predefined equality + -- function of an Unchecked_Union type (see Build_Variant_Record_Equality). + function Is_Unconstrained_Or_Tagged_Item (Item : Entity_Id) return Boolean; -- Subsidiary to Collect_Subprogram_Inputs_Outputs and the analysis of -- pragma Depends. Determine whether the type of dependency item Item is @@ -2973,11 +2977,11 @@ package Sem_Util is Comp : Boolean := False; Deriv : Boolean := False); -- Set Disable_Controlled, Finalize_Storage_Only, Has_Controlled_Component, - -- Has_Relaxed_Finalization, and Is_Controlled_Active on Typ when the flags - -- are set on From_Typ. If Comp is True, From_Typ is assumed to be the type - -- of a component of Typ while, if Deriv is True, From_Typ is assumed to be - -- the parent type of Typ. This procedure can only set flags for Typ, and - -- never clear them. + -- Has_Destructor, Has_Relaxed_Finalization, and Is_Controlled_Active on + -- Typ when the flags are set on From_Typ. If Comp is True, From_Typ is + -- assumed to be the type of a component of Typ while, if Deriv is True, + -- From_Typ is assumed to be the parent type of Typ. This procedure can + -- only set flags for Typ, and never clear them. procedure Propagate_DIC_Attributes (Typ : Entity_Id; |