diff options
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 4e55734f202..8629d767d2b 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1302,10 +1302,15 @@ package Sem_Util is function Is_SPARK_Object_Reference (N : Node_Id) return Boolean; -- Determines if the tree referenced by N represents an object in SPARK + function Is_SPARK_Volatile (Id : Entity_Id) return Boolean; + -- This routine is similar to predicate Is_Volatile, but it takes SPARK + -- semantics into account. In SPARK volatile components to not render a + -- type volatile. + function Is_SPARK_Volatile_Object (N : Node_Id) return Boolean; -- Determine whether an arbitrary node denotes a volatile object reference -- according to the semantics of SPARK. To qualify as volatile, an object - -- must be subject to aspect/pragma Volatile or Atomic or have a [sub]type + -- must be subject to aspect/pragma Volatile or Atomic, or have a [sub]type -- subject to the same attributes. Note that volatile components do not -- render an object volatile. @@ -1451,7 +1456,7 @@ package Sem_Util is procedure Mark_Coextensions (Context_Nod : Node_Id; Root_Nod : Node_Id); -- Given a node which designates the context of analysis and an origin in -- the tree, traverse from Root_Nod and mark all allocators as either - -- dynamic or static depending on Context_Nod. Any erroneous marking is + -- dynamic or static depending on Context_Nod. Any incorrect marking is -- cleaned up during resolution. function May_Be_Lvalue (N : Node_Id) return Boolean; |