diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index b4adabf26a9..44d6c3ef5be 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -320,12 +320,16 @@ package Sem_Util is -- denotes when analyzed. Subsequent uses of this id on a different -- type denote the discriminant at the same position in this new type. - function Find_Overlaid_Object (N : Node_Id) return Entity_Id; - -- The node N should be an address representation clause. This function - -- checks if the target expression is the address of some stand alone - -- object (variable or constant), and if so, returns its entity. If N is - -- not an address representation clause, or if it is not possible to - -- determine that the address is of this form, then Empty is returned. + procedure Find_Overlaid_Entity + (N : Node_Id; + Ent : out Entity_Id; + Off : out Boolean); + -- The node N should be an address representation clause. Determines if the + -- target expression is the address of an entity with an optional offset. + -- If so, Ent is set to the entity and, if there is an offset, Off is set + -- to True, otherwise to False. If N is not an address representation + -- clause, or if it is not possible to determine that the address is of + -- this form, then Ent is set to Empty, and Off is set to False. function Find_Parameter_Type (Param : Node_Id) return Entity_Id; -- Return the type of formal parameter Param as determined by its |