From d992a425b7b2ebb6ed34d545d7c4a4f68b6a0b14 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 22 May 2015 15:09:47 +0200 Subject: [multiple changes] 2015-05-22 Bob Duff * 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 * switch-c.adb (Scan_Front_End_Switches): Insist on -gnatc for -gnatd.V. From-SVN: r223567 --- gcc/ada/switch-c.adb | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'gcc/ada/switch-c.adb') 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 -- cgit v1.1