diff options
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index bb5ab07..be195ab 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -2374,12 +2374,11 @@ package Einfo is -- In the case of private and incomplete types, this flag is set in -- both the partial view and the full view. --- Is_Atomic_Or_VFA (synth) +-- Is_Full_Access (synth) -- Defined in all type entities, and also in constants, components and --- variables. Set if a pragma Atomic or Shared or Volatile_Full_Access --- applies to the entity. For many purposes VFA objects should be treated --- the same as Atomic objects, and this predicate is intended for that --- usage. In the case of private and incomplete types, the predicate +-- variables. Set if an aspect/pragma Atomic/Shared, or an aspect/pragma +-- Volatile_Full_Access or an Ada 2020 aspect Full_Access_Only applies +-- to the entity. In the case of private and incomplete types, the flag -- applies to both the partial view and the full view. -- Is_Base_Type (synthesized) @@ -3418,9 +3417,10 @@ package Einfo is -- Is_Volatile_Full_Access (Flag285) -- Defined in all type entities, and also in constants, components, and --- variables. Set if a pragma Volatile_Full_Access applies to the entity. --- In the case of private and incomplete types, this flag is set in --- both the partial view and the full view. +-- variables. Set if an aspect/pragma Volatile_Full_Access or an Ada 2020 +-- aspect Full_Access_Only applies to the entity. In the case of private +-- and incomplete types, this flag is set in both the partial view and +-- the full view. -- Is_Wrapper_Package (synthesized) -- Defined in package entities. Indicates that the package has been @@ -5815,7 +5815,7 @@ package Einfo is -- Implementation_Base_Type (synth) -- Invariant_Procedure (synth) -- Is_Access_Protected_Subprogram_Type (synth) - -- Is_Atomic_Or_VFA (synth) + -- Is_Full_Access (synth) -- Is_Controlled (synth) -- Object_Size_Clause (synth) -- Partial_Invariant_Procedure (synth) @@ -5982,7 +5982,7 @@ package Einfo is -- Is_Volatile (Flag16) -- Is_Volatile_Full_Access (Flag285) -- Treat_As_Volatile (Flag41) - -- Is_Atomic_Or_VFA (synth) + -- Is_Full_Access (synth) -- Next_Component (synth) -- Next_Component_Or_Discriminant (synth) @@ -6036,8 +6036,8 @@ package Einfo is -- Treat_As_Volatile (Flag41) -- Address_Clause (synth) -- Alignment_Clause (synth) - -- Is_Atomic_Or_VFA (synth) -- Is_Elaboration_Target (synth) + -- Is_Full_Access (synth) -- Size_Clause (synth) -- E_Decimal_Fixed_Point_Type @@ -6856,8 +6856,8 @@ package Einfo is -- Treat_As_Volatile (Flag41) -- Address_Clause (synth) -- Alignment_Clause (synth) - -- Is_Atomic_Or_VFA (synth) -- Is_Elaboration_Target (synth) + -- Is_Full_Access (synth) -- Size_Clause (synth) -- E_Void @@ -7677,7 +7677,6 @@ package Einfo is function Has_Null_Abstract_State (Id : E) return B; function Has_Null_Visible_Refinement (Id : E) return B; function Implementation_Base_Type (Id : E) return E; - function Is_Atomic_Or_VFA (Id : E) return B; function Is_Base_Type (Id : E) return B; function Is_Boolean_Type (Id : E) return B; function Is_Constant_Object (Id : E) return B; @@ -7687,6 +7686,7 @@ package Einfo is function Is_Elaboration_Target (Id : E) return B; function Is_External_State (Id : E) return B; function Is_Finalizer (Id : E) return B; + function Is_Full_Access (Id : E) return B; function Is_Null_State (Id : E) return B; function Is_Package_Or_Generic_Package (Id : E) return B; function Is_Packed_Array (Id : E) return B; @@ -8889,7 +8889,6 @@ package Einfo is pragma Inline (Is_Assignable); pragma Inline (Is_Asynchronous); pragma Inline (Is_Atomic); - pragma Inline (Is_Atomic_Or_VFA); pragma Inline (Is_Bit_Packed_Array); pragma Inline (Is_Called); pragma Inline (Is_Character_Type); @@ -8940,6 +8939,7 @@ package Einfo is pragma Inline (Is_Formal_Object); pragma Inline (Is_Formal_Subprogram); pragma Inline (Is_Frozen); + pragma Inline (Is_Full_Access); pragma Inline (Is_Generic_Actual_Subprogram); pragma Inline (Is_Generic_Actual_Type); pragma Inline (Is_Generic_Instance); |