The use of pragma Annotate to justify CodePeer messages breaks compiler
bootstrap. Fix this by removing these justifications.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-11-09 Yannick Moy <[email protected]>
* erroutc.adb, set_targ.adb: Remove pragma Annotate for CodePeer
justification.
Index: set_targ.adb
===================================================================
--- set_targ.adb (revision 254579)
+++ set_targ.adb (revision 254580)
@@ -604,10 +604,6 @@
procedure Check_Spaces is
begin
if N > Buflen or else Buffer (N) /= ' ' then
- pragma Annotate
- (CodePeer, False_Positive, "condition predetermined",
- "N may be less than Buflen when calling Check_Spaces");
-
FailN ("missing space for");
end if;
Index: erroutc.adb
===================================================================
--- erroutc.adb (revision 254579)
+++ erroutc.adb (revision 254580)
@@ -512,9 +512,6 @@
-- so now we output a tab to match up with the text.
if Src (P) = ASCII.HT then
- pragma Annotate
- (CodePeer, False_Positive, "validity check",
- "Src(P) is initialized at this point");
Write_Char (ASCII.HT);
P := P + 1;
