[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer mode

2019-07-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* gnat1drv.adb (Adjust_Global_Switches): Set
	Dynamic_Elaboration_Checks to True in CodePeer mode.

From-SVN: r273268

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0fd03b728d9921f154b6ba4ff3de3823559876a4..1e109c2991dbc18240e0de1e37d293492e1f775e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-09  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat1drv.adb (Adjust_Global_Switches): Set
+       Dynamic_Elaboration_Checks to True in CodePeer mode.
+
 2019-07-09  Yannick Moy  <moy@adacore.com>
 
        * sem_spark.adb (Get_Perm_Or_Tree): Issue an error when

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index 86d6be2c14f61ecd5ffe35a7e7c7c6cb73c5d67c..f0f8de704cb48057568655fc1fb1ad7d18ff845e 100644 (file)
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -320,7 +320,12 @@ procedure Gnat1drv is
             Elaboration_Check => True,
             others            => False);
 
-         Dynamic_Elaboration_Checks := False;
+         --  Need to enable dynamic elaboration checks to disable strict
+         --  static checking performed by gnatbind. We are at the same time
+         --  suppressing actual compile time elaboration checks to simplify
+         --  the generated code.
+
+         Dynamic_Elaboration_Checks := True;
 
          --  Set STRICT mode for overflow checks if not set explicitly. This
          --  prevents suppressing of overflow checks by default, in code down