From: Steve Baird <baird@adacore.com>
Date: Thu, 23 Apr 2020 18:37:10 +0000 (-0700)
Subject: [Ada] No Default_Initial_Condition check when declaring an imported object
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a6c467131b0c07ab5d9b136148cae201de540109;p=gcc.git

[Ada] No Default_Initial_Condition check when declaring an imported object

2020-06-18  Steve Baird  <baird@adacore.com>

gcc/ada/

	* exp_ch3.adb (Expand_N_Object_Declaration): Do not generate a
	default initial condition check for the declaration of an
	imported object.
---

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 15b88c3a87b..f89e070918d 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -7516,6 +7516,7 @@ package body Exp_Ch3 is
         and then Has_DIC (Typ)
         and then Present (DIC_Procedure (Typ))
         and then not Has_Init_Expression (N)
+        and then not Is_Imported (Def_Id)
       then
          declare
             DIC_Call : constant Node_Id := Build_DIC_Call (Loc, Def_Id, Typ);