diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 15:10:22 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 15:10:22 +0200 |
| commit | 0247964def38159afff19aeeb79880d8aaa63a05 (patch) | |
| tree | 50af03992c889d882bb312b0e60314f61ad05e27 /gcc/ada/debug.adb | |
| parent | e443f142047e2a9f67dd859e77d26d94fa3241e8 (diff) | |
| download | gcc-0247964def38159afff19aeeb79880d8aaa63a05.zip gcc-0247964def38159afff19aeeb79880d8aaa63a05.tar.gz gcc-0247964def38159afff19aeeb79880d8aaa63a05.tar.bz2 | |
[multiple changes]
2013-10-14 Robert Dewar <dewar@adacore.com>
* exp_prag.adb, exp_ch11.adb, s-exctab.adb: Minor reformatting.
* usage.adb: Add line for -gnateu switch.
2013-10-14 Vincent Celier <celier@adacore.com>
* lib-writ.ads: Add comments to indicate that a path name in
D lines may be quoted if the path name includes directories
with spaces.
2013-10-14 Robert Dewar <dewar@adacore.com>
* debug.adb: Document -gnatd.E.
* gnat1drv.adb (Adjust_Global_Switches): Set Error_To_Warning
if -gnatd.E set.
* opt.ads (Error_To_Warning): New switch.
* osint.adb: Minor reformatting.
* sem_warn.adb (Warn_On_Overlapping_Actuals): Overlap is error
in some cases in Ada 2012 mode (unless Error_To_Warning) is set.
* sem_warn.ads (Warn_On_Overlapping_Actuals): Document error
in Ada 2012 mode.
2013-10-14 Tristan Gingold <gingold@adacore.com>
* cstand.adb: Add a comment for Standard_Exception_Type.
2013-10-14 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Process_Transient_Object): If a transient scope
has already been created, use the corresponding Node_To_Be_Wrapped
as the insertion point for the controlled actions.
From-SVN: r203539
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 5364574..3712fe1 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -122,7 +122,7 @@ package body Debug is -- d.B -- d.C Generate concatenation call, do not generate inline code -- d.D SPARK strict mode - -- d.E + -- d.E Turn selected errors into warnings -- d.F SPARK mode -- d.G Frame condition mode for gnat2why -- d.H @@ -581,22 +581,26 @@ package body Debug is -- d.w This flag turns off the scanning of loops to detect possible -- infinite loops. - -- d.A There seems to be a problem with ASIS if we activate the circuit - -- for reading and writing the aspect specification hash table, so - -- for now, this is controlled by the debug flag d.A. The hash table - -- is only written and read if this flag is set. - -- d.x No exception handlers in generated code. This causes exception -- handlers to be eliminated from the generated code. They are still -- fully compiled and analyzed, they just get eliminated from the -- code generation step. + -- d.A There seems to be a problem with ASIS if we activate the circuit + -- for reading and writing the aspect specification hash table, so + -- for now, this is controlled by the debug flag d.A. The hash table + -- is only written and read if this flag is set. + -- d.C Generate call to System.Concat_n.Str_Concat_n routines in cases -- where we would normally generate inline concatenation code. -- d.D SPARK strict mode. Interpret compiler permissions as strictly as -- possible in SPARK mode. - -- + + -- d.E Turn selected errors into warnings. This debug switch causes a + -- specific set of error messages into warnings. Setting this switch + -- causes Opt.Error_To_Warning to be set to True. + -- d.F SPARK mode. Generate AST in a form suitable for formal -- verification, as well as additional cross reference information in -- ALI files to compute effects of subprograms. Note that ALI files |