From 8b6d722d6eed8541a9b8ba5d395debc2deb93bf5 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <yakobowski@adacore.com>
Date: Tue, 23 Jun 2020 12:16:53 +0200
Subject: [PATCH] [Ada] Do not expand 'Initialized in codepeer mode

gcc/ada/

	* exp_attr.adb (Expand_N_Attribute_Reference): Do not expand
	'Initialized in CodePeer mode.
---
 gcc/ada/exp_attr.adb | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index 855aa29c4d4..a2e88c32d35 100644
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -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
-- 
2.30.2