diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:09:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:09:47 +0200 |
| commit | d992a425b7b2ebb6ed34d545d7c4a4f68b6a0b14 (patch) | |
| tree | fc1306500493f77a2f3b51c5218b669874314121 /gcc/ada/switch-c.adb | |
| parent | 84238eb02a86bb7b3c458b5914c849df82fa9aad (diff) | |
| download | gcc-d992a425b7b2ebb6ed34d545d7c4a4f68b6a0b14.zip gcc-d992a425b7b2ebb6ed34d545d7c4a4f68b6a0b14.tar.gz gcc-d992a425b7b2ebb6ed34d545d7c4a4f68b6a0b14.tar.bz2 | |
[multiple changes]
2015-05-22 Bob Duff <duff@adacore.com>
* a-convec.ads, a-convec.adb (Append): Check for fast path. Split
out slow path into separate procedure. Inline Append. Fast path
now avoids calling Insert.
(Finalize): Do the busy checking last, so the container gets emptied.
(Insert, Insert_Space): Remove redundancy.
2015-05-22 Robert Dewar <dewar@adacore.com>
* switch-c.adb (Scan_Front_End_Switches): Insist on -gnatc
for -gnatd.V.
From-SVN: r223567
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 7e8f50e..c3ebbaa 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -387,6 +387,15 @@ package body Switch.C is Osint.Fail ("-gnatd.b must be first if combined " & "with other switches"); + + -- Special check, -gnatd.V must occur after -gnatc + + elsif C = 'V' + and then Operating_Mode /= Check_Semantics + then + Osint.Fail + ("gnatd.V requires previous occurrence " + & "of -gnatc"); end if; -- Not a dotted flag |