https://gcc.gnu.org/g:95a13b096df2aa6dc096f65846d6c19067552792
commit r15-678-g95a13b096df2aa6dc096f65846d6c19067552792 Author: Piotr Trojanek <troja...@adacore.com> Date: Mon Mar 25 22:52:14 2024 +0100 ada: Fix list of attributes defined by Ada 2012 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. Diff: --- 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 414224e86b69..df52229b6aaf 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