diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-07-09 07:53:30 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:53:30 +0000 |
| commit | 9ae497cb69e5a944e29225a402883ad359d5c031 (patch) | |
| tree | 64e633147d64ce2f1bcfd09b1927d220652ffb8e /gcc | |
| parent | e5ce97d294608b4918b3809bc461052b58de8993 (diff) | |
| download | gcc-9ae497cb69e5a944e29225a402883ad359d5c031.zip gcc-9ae497cb69e5a944e29225a402883ad359d5c031.tar.gz gcc-9ae497cb69e5a944e29225a402883ad359d5c031.tar.bz2 | |
[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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0fd03b72..1e109c2 100644 --- 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 86d6be2..f0f8de7 100644 --- 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 |