diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:08:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:08:13 +0200 |
| commit | 23e28b42173b30e3ebe2b8e5765b01dc7fd60da2 (patch) | |
| tree | 975fd0944fae6262222dccf289f20d09a24008ef /gcc/ada/debug.adb | |
| parent | b7b92f15d30a1cae3d59af69dad849fe4025f24f (diff) | |
| download | gcc-23e28b42173b30e3ebe2b8e5765b01dc7fd60da2.zip gcc-23e28b42173b30e3ebe2b8e5765b01dc7fd60da2.tar.gz gcc-23e28b42173b30e3ebe2b8e5765b01dc7fd60da2.tar.bz2 | |
[multiple changes]
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_elab.adb, prj-dect.adb: Minor reformatting.
2014-05-21 Robert Dewar <dewar@adacore.com>
* erroutc.ads: Minor comment addition.
2014-05-21 Robert Dewar <dewar@adacore.com>
* errout.ads: Add documentation for use of >*> tag.
* restrict.adb: Make sure we use >*> tag for restriction warnings.
2014-05-21 Gary Dismukes <dismukes@adacore.com>
* debug.adb: Add case of illegal overriding_indicator for a
protected subprogram body to description of -gnatd.E switch.
* sem_ch6.adb (Verify_Overriding_Indicator): Issue error message
for cases of giving overriding_indicators on protected subprogram
bodies, but change this to a warning if -gnatd.E is enabled. No
longer give a style warning about missing indicators on protected
subprogram bodies.
From-SVN: r210704
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index f2f118b..d5fae27 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -614,6 +614,11 @@ package body Debug is -- -- Errors relating to the new rules about not defining equality -- too late so that composition of equality can be assured. + -- + -- Errors relating to overriding indicators on protected subprogram + -- bodies (not an Ada 2012 incompatibility, but might cause errors + -- for existing programs assuming they were legal because GNAT + -- formerly allowed them). -- d.F Sets GNATprove_Mode to True. This allows debugging the frontend in -- the special mode used by GNATprove. |