diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:10:04 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:10:04 +0100 |
| commit | 97948f419d8f77bbf30e402016c865d9de333b7f (patch) | |
| tree | 2b357d89eb666107253f06a3c8aa831d07c304af /gcc/ada/debug.adb | |
| parent | 739e7bbf1bcd96174b51012936bf9fd5e2b0d82d (diff) | |
| download | gcc-97948f419d8f77bbf30e402016c865d9de333b7f.tar.gz | |
[multiple changes]
2012-12-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Derived_Private_Type): Handle properly a
completion in a grand-child unit when the parent type is itself
a private type in a child unit whose full view is itself a
derivation from a private type.
2012-12-05 Gary Dismukes <dismukes@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, case
Attribute_Valid): Remove code for issuing warning on Valid within
a predicate. Moved to Sem_Attr. Remove with and use of Errout.
* sem_attr.adb (Analyze_Attribute, case Attribute_Valid):
Test for prefix's subtype having a predicate and issue warning
about infinite recursion if Valid occurs within the subtype's
predicate. Warning moved here from Exp_Attr.
2012-12-05 Yannick Moy <moy@adacore.com>
* debug.adb: Minor comment addition.
2012-12-05 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): In CodePeer mode, check
overflows by default, even when the user suppresses overflow checks.
From-SVN: r194190
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 02f04bcecdf..bcb6ee3322c 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -658,6 +658,10 @@ package body Debug is -- reverts to the behavior of earlier compilers, which ignored -- indirect calls. + -- d.V Extensions for formal verification. New attributes/aspects/pragmas + -- defined in GNAT for formal verification with the tool GNATprove are + -- only accepted under this switch. + -- d.W Print out debugging information for Walk_Library_Items, including -- the order in which units are walked. This is primarily for use in -- debugging CodePeer mode. |