From: Piotr Trojanek <troja...@adacore.com>
Recognize references to attributes Old, Overlaps_Storage and Result as
language-defined in Ada 2012 and implementation-defined in earlier
versions of Ada. Other attributes introduced by Ada 2012 RM are
correctly categorized.
This change only affects code with restriction
No_Implementation_Attributes.
gcc/ada/
* sem_attr.adb (Attribute_12): Add attributes Old,
Overlaps_Storage and Result.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_attr.adb | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 414224e86b6..df52229b6aa 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -170,7 +170,10 @@ package body Sem_Attr is
(Attribute_First_Valid |
Attribute_Has_Same_Storage |
Attribute_Last_Valid |
- Attribute_Max_Alignment_For_Allocation => True,
+ Attribute_Max_Alignment_For_Allocation |
+ Attribute_Old |
+ Attribute_Overlaps_Storage |
+ Attribute_Result => True,
others => False);
-- The following array is the list of attributes defined in the Ada 2022
--
2.43.2
