diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-22 17:47:20 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-22 17:47:20 +0100 |
| commit | b2834fbd22f71ce7678ddd538b0d5455d6e7caba (patch) | |
| tree | e8cd596ba2f7074f976ffde7e506c2ce18d30798 /gcc/ada/debug.adb | |
| parent | d4129bfa7c814dc1878c3256d34f721398617255 (diff) | |
| download | gcc-b2834fbd22f71ce7678ddd538b0d5455d6e7caba.zip gcc-b2834fbd22f71ce7678ddd538b0d5455d6e7caba.tar.gz gcc-b2834fbd22f71ce7678ddd538b0d5455d6e7caba.tar.bz2 | |
[multiple changes]
2014-01-22 Robert Dewar <dewar@adacore.com>
* sem_aux.adb, sem_aux.ads, sem_ch3.adb (Has_Unconstrained_Elements):
Moved to sem_aux.adb.
2014-01-22 Robert Dewar <dewar@adacore.com>
* vms_data.ads: Minor reformatting.
2014-01-22 Robert Dewar <dewar@adacore.com>
* debug.adb: Document messages affected by -gnatd.E including
the new ones that relate to late definition of equality.
* sem_ch6.adb (Check_Untagged_Equality): In Ada 2012 mode, if
debug flag -gnatd.E is set, then generate warnings rather than
errors.
(Check_Untagged_Equality): In earlier versions of Ada,
generate warnings if Warn_On_Ada_2012_Incompatibility flag is set.
2014-01-22 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Usage_Error): Output additional messages for
unconstrained OUT parameters lacking an input dependency.
2014-01-22 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb: Minor reformatting.
2014-01-22 Robert Dewar <dewar@adacore.com>
* restrict.ads: Minor reformatting.
* sem_res.adb (Resolve_Call): Check for SPARK_05 restriction that
forbids a call from within a subprogram to the same subprogram.
2014-01-22 Thomas Quinot <quinot@adacore.com>
* a-stream.ads (Read_SEA, Write_SEA): New subprograms, optimized
stream attributes for Stream_Element_Array.
* a-stream.adb (Read_SEA, Write_SEA): Bodies for the above.
* rtsfind.adb (Check_CRT): Do not reject a reference to an entity
defined in the current scope.
From-SVN: r206929
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index b1c17f8..251da34 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -596,10 +596,16 @@ package body Debug is -- 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. Right now the only - -- error affected is the case of overlapping subprogram parameters - -- which has become illegal in Ada 2012, but only generates a warning - -- in earlier versions of Ada. + -- causes Opt.Error_To_Warning to be set to True. The intention is + -- that this be used for messages representing upwards incompatible + -- changes to Ada 2012 that cause previously correct programs to be + -- treated as illegal now. The following cases are affected: + -- + -- Errors relating to overlapping subprogram parameters for cases + -- other than IN OUT parameters to functions. + -- + -- Errors relating to the new rules about not defining equality + -- too late so that composition of equality can be assured. -- d.F Sets GNATprove_Mode to True. This allows debugging the frontend in -- the special mode used by GNATprove. |