[Ada] Do not expand 'Initialized in codepeer mode
authorBoris Yakobowski <yakobowski@adacore.com>
Tue, 23 Jun 2020 10:16:53 +0000 (12:16 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:10 +0000 (05:39 -0400)
gcc/ada/

* exp_attr.adb (Expand_N_Attribute_Reference): Do not expand
'Initialized in CodePeer mode.

gcc/ada/exp_attr.adb

index 855aa29c4d4aa955f1b5d52905e266b68e162f02..a2e88c32d35bb9b172762cc3971678bfd84a5304 100644 (file)
@@ -3826,6 +3826,14 @@ package body Exp_Attr is
       --  the latter.
 
       when Attribute_Initialized =>
+
+         --  Do not expand 'Initialized in CodePeer mode, it will be handled
+         --  by the back-end directly.
+
+         if CodePeer_Mode then
+            return;
+         end if;
+
          Rewrite
            (N,
             Make_Attribute_Reference