[gcc r13-533] [Ada] Allow 'Reduce with -gnat2022

[gcc r13-533] [Ada] Allow 'Reduce with -gnat2022

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:c21a0097b63f1117b780f7b56332d40d5cbc9625

commit r13-533-gc21a0097b63f1117b780f7b56332d40d5cbc9625
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Sun Mar 20 09:12:32 2022 +0000

    [Ada] Allow 'Reduce with -gnat2022
    
    After a period of experimentation, allow 'Reduce in Ada 2022 mode.
    
    gcc/ada/
    
            * sem_attr.adb (Analyze_Attribute [Attribute_Reduce]): Allow
            'Reduce for Ada 2022 and above.
            * sem_attr.ads (Attribute_Impl_Def): 'Reduce is no longer
            implementation defined.

Diff:
---
 gcc/ada/sem_attr.adb | 6 +-----
 gcc/ada/sem_attr.ads | 7 -------
 2 files changed, 1 insertion(+), 12 deletions(-)

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index b3965f3664e..c7cb3329c04 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -5775,11 +5775,7 @@ package body Sem_Attr is
 
       when Attribute_Reduce =>
          Check_E2;
-
-         if not Extensions_Allowed then
-            Error_Attr
-              ("% attribute only supported under -gnatX", P);
-         end if;
+         Error_Msg_Ada_2022_Feature ("Reduce attribute", Sloc (N));
 
          declare
             Stream : constant Node_Id := Prefix (N);
diff --git a/gcc/ada/sem_attr.ads b/gcc/ada/sem_attr.ads
index b9a7cd28149..37e77fd27e0 100644
--- a/gcc/ada/sem_attr.ads
+++ b/gcc/ada/sem_attr.ads
@@ -407,13 +407,6 @@ package Sem_Attr is
       --  as Range applied to the array itself. The result is of type universal
       --  integer.
 
-      ------------
-      -- Reduce --
-      ------------
-
-      Attribute_Reduce => True,
-      --  See AI12-0262-1
-
       ---------
       -- Ref --
       ---------