diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-11 08:03:19 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-11 08:03:19 +0000 |
| commit | d99ef225ac0722ab011cd39386fed4e346311edb (patch) | |
| tree | 52c5ff207b56eaaa18e276653ed714aabb0dd50f | |
| parent | 708fb956d9b625c150aadf9fb6394651ef054b5a (diff) | |
| download | gcc-d99ef225ac0722ab011cd39386fed4e346311edb.zip gcc-d99ef225ac0722ab011cd39386fed4e346311edb.tar.gz gcc-d99ef225ac0722ab011cd39386fed4e346311edb.tar.bz2 | |
[Ada] Flip the meaning of debug switch -gnatdF
2019-07-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* debug.adb: Flip meaning of debug switch -gnatdF.
From-SVN: r273404
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/debug.adb | 9 |
2 files changed, 9 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 15b90e3..a5273a8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 2019-07-11 Yannick Moy <moy@adacore.com> + * debug.adb: Flip meaning of debug switch -gnatdF. + +2019-07-11 Yannick Moy <moy@adacore.com> + * sem_eval.adb (Is_Same_Value): Add special case for rewritten Loop_Entry attribute. diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 6df3d6f..6a5d0ea 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -602,10 +602,11 @@ package body Debug is -- dE Apply compile time elaboration checking for with relations between -- predefined units. Normally no checks are made. - -- dF Perform the new SPARK checking rules for pointer aliasing. This is - -- only activated in GNATprove mode and on SPARK code. These rules are - -- not yet part of the official SPARK language, but are expected to be - -- included in a future version of SPARK. + -- dF Disable the new SPARK checking rules for pointer aliasing. This is + -- only activated as part of GNATprove mode and on SPARK code. Now + -- that pointer support is part of the official SPARK language, this + -- switch allows reverting to the previous version of GNATprove + -- rejecting pointers. -- dG Generate all warnings. Normally Errout suppresses warnings on -- units that are not part of the main extended source, and also |