diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2024-03-25 23:00:13 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-20 09:47:05 +0200 |
commit | ea65d5b38051aca5071157092546665c446cef60 (patch) | |
tree | 0782728897404a2b325cf870fffd74145918ec6f | |
parent | 95a13b096df2aa6dc096f65846d6c19067552792 (diff) | |
download | gcc-ea65d5b38051aca5071157092546665c446cef60.zip gcc-ea65d5b38051aca5071157092546665c446cef60.tar.gz gcc-ea65d5b38051aca5071157092546665c446cef60.tar.bz2 |
ada: Fix list of implementation-defined attributes
Several of the implementation-defined attributes were wrongly recognized
as defined by the Ada RM.
This change only affects code with restriction
No_Implementation_Attributes.
gcc/ada/
* sem_attr.ads (Attribute_Impl_Def): Fix list of
implementation-defined attributes.
-rw-r--r-- | gcc/ada/sem_attr.ads | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.ads b/gcc/ada/sem_attr.ads index 40ec423..52359e4 100644 --- a/gcc/ada/sem_attr.ads +++ b/gcc/ada/sem_attr.ads @@ -609,6 +609,33 @@ package Sem_Attr is -- for constructing this definition in package System (see note above -- in Default_Bit_Order description). This is a static attribute. + Attribute_Atomic_Always_Lock_Free | + Attribute_Bit_Position | + Attribute_Compiler_Version | + Attribute_Descriptor_Size | + Attribute_Enabled | + Attribute_Fast_Math | + Attribute_From_Any | + Attribute_Has_Access_Values | + Attribute_Has_Tagged_Values | + Attribute_Initialized | + Attribute_Library_Level | + Attribute_Pool_Address | + Attribute_Restriction_Set | + Attribute_Scalar_Storage_Order | + Attribute_Simple_Storage_Pool | + Attribute_Small_Denominator | + Attribute_Small_Numerator | + Attribute_System_Allocator_Alignment | + Attribute_To_Any | + Attribute_TypeCode | + Attribute_Type_Key | + Attribute_Unconstrained_Array | + Attribute_Update | + Attribute_Valid_Value | + Attribute_Wchar_T_Size => True, + -- See description in GNAT RM + others => False); -- The following table lists all attributes that yield a result of a |