diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-09-05 08:03:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-09-05 08:03:48 +0000 |
| commit | 656265fbd5caa525ea16001352055f6b062fcf7d (patch) | |
| tree | 2647249f9076f1c38e2b275cbb3e1817bf9c0d98 /gcc/ada/sem_util.ads | |
| parent | 924234b9423d5b07cec340990a453693b0b19b4b (diff) | |
| download | gcc-656265fbd5caa525ea16001352055f6b062fcf7d.tar.gz | |
2005-09-01 Ed Schonberg <schonberg@adacore.com>
* sem_util.ads, sem_util.adb (Gather_Components): Omit interface tags
from the list of required components.
(Is_Controlling_Limited_Procedure): Determine whether an entity is a
primitive procedure of a limited interface with a controlling first
parameter.
(Is_Renamed_Entry): Determine whether an entry is a procedure renaming
of an entry.
(Safe_To_Capture_Value): A value (such as non_null) is not safe to
capture if it is generated in the second operand of a short-circuit
operation.
Do not capture values for variables with address clauses.
(Is_Object_Reference): Treat a function call as an object reference only
if its type is not Standard_Void_Type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103888 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index f21c93cdfc3..27f2abd9708 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -456,6 +456,11 @@ package Sem_Util is -- Determines if the given node denotes an atomic object in the sense -- of the legality checks described in RM C.6(12). + function Is_Controlling_Limited_Procedure + (Proc_Nam : Entity_Id) return Boolean; + -- Ada 2005 (AI-345): Determine whether Proc_Nam is a primitive procedure + -- of a limited interface with a controlling first parameter. + function Is_Dependent_Component_Of_Mutable_Object (Object : Node_Id) return Boolean; -- Returns True if Object is the name of a subcomponent that @@ -560,6 +565,9 @@ package Sem_Util is function Is_Remote_Call (N : Node_Id) return Boolean; -- Return True if N denotes a potentially remote call + function Is_Renamed_Entry (Proc_Nam : Entity_Id) return Boolean; + -- Return True if Proc_Nam is a procedure renaming of an entry + function Is_Selector_Name (N : Node_Id) return Boolean; -- Given an N_Identifier node N, determines if it is a Selector_Name. -- As described in Sinfo, Selector_Names are special because they @@ -735,8 +743,7 @@ package Sem_Util is function Safe_To_Capture_Value (N : Node_Id; - Ent : Entity_Id) - return Boolean; + Ent : Entity_Id) return Boolean; -- The caller is interested in capturing a value (either the current -- value, or an indication that the value is non-null) for the given -- entity Ent. This value can only be captured if sequential execution |