aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSteve Baird <baird@adacore.com>2020-04-23 11:37:10 -0700
committerPierre-Marie de Rodat <derodat@adacore.com>2020-06-18 05:08:30 -0400
commita6c467131b0c07ab5d9b136148cae201de540109 (patch)
treec7f18ea50245ca360139d0a78167378e3da83262
parent8cd7aec26f11d3d317e0e59e3dbe04b96b7052e4 (diff)
downloadgcc-a6c467131b0c07ab5d9b136148cae201de540109.zip
gcc-a6c467131b0c07ab5d9b136148cae201de540109.tar.gz
gcc-a6c467131b0c07ab5d9b136148cae201de540109.tar.bz2
[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.
-rw-r--r--gcc/ada/exp_ch3.adb1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 15b88c3..f89e070 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);