diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index c6958cb1aaa..9aaa1160ed7 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -769,6 +769,11 @@ package Sem_Util is -- analyzed. Subsequent uses of this id on a different type denotes the -- discriminant at the same position in this new type. + function Find_DIC_Type (Typ : Entity_Id) return Entity_Id; + -- Subsidiary to all Build_DIC_Procedure_xxx routines. Find the type which + -- defines the Default_Initial_Condition pragma of type Typ. This is either + -- Typ itself or a parent type when the pragma is inherited. + function Find_Enclosing_Iterator_Loop (Id : Entity_Id) return Entity_Id; -- Find the nearest iterator loop which encloses arbitrary entity Id. If -- such a loop exists, return the entity of its identifier (E_Loop scope), @@ -2735,6 +2740,10 @@ package Sem_Util is function Within_Scope (E : Entity_Id; S : Entity_Id) return Boolean; -- Returns True if entity E is declared within scope S + function Within_Subprogram_Call (N : Node_Id) return Boolean; + -- Determine whether arbitrary node N appears in an entry, function, or + -- procedure call. + procedure Wrong_Type (Expr : Node_Id; Expected_Type : Entity_Id); -- Output error message for incorrectly typed expression. Expr is the node -- for the incorrectly typed construct (Etype (Expr) is the type found), |