diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 6410db4..c908d88 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -353,12 +353,12 @@ package Sem_Util is (N : Node_Id; Formal : out Entity_Id; Call : out Node_Id); - -- Determines if the node N is an actual parameter of a procedure call. If - -- so, then Formal points to the entity for the formal (whose Ekind is one - -- of E_In_Parameter, E_Out_Parameter, E_In_Out_Parameter) and Call is set - -- to the node for the corresponding call. If the node N is not an actual - -- parameter, or is an actual parameter of a function call, then Formal and - -- Call are set to Empty. + -- Determines if the node N is an actual parameter of a function of a + -- procedure call. If so, then Formal points to the entity for the formal + -- (whose Ekind is one of E_In_Parameter, E_Out_Parameter, + -- E_In_Out_Parameter) and Call is set to the node for the corresponding + -- call. If the node N is not an actual parameter then Formal and Call are + -- set to Empty. function Find_Corresponding_Discriminant (Id : Node_Id; @@ -677,6 +677,10 @@ package Sem_Util is function Is_Actual_Parameter (N : Node_Id) return Boolean; -- Determines if N is an actual parameter in a subprogram call + function Is_Actual_Tagged_Parameter (N : Node_Id) return Boolean; + -- Determines if N is an actual parameter of a formal of tagged type in a + -- subprogram call. + function Is_Aliased_View (Obj : Node_Id) return Boolean; -- Determine if Obj is an aliased view, i.e. the name of an object to which -- 'Access or 'Unchecked_Access can apply. @@ -763,6 +767,9 @@ package Sem_Util is -- Determines if the tree referenced by N represents an object. Both -- variable and constant objects return True (compare Is_Variable). + function Is_SPARK_Object_Reference (N : Node_Id) return Boolean; + -- Determines if the tree referenced by N represents an object in SPARK. + function Is_OK_Variable_For_Out_Formal (AV : Node_Id) return Boolean; -- Used to test if AV is an acceptable formal for an OUT or IN OUT formal. -- Note that the Is_Variable function is not quite the right test because |