@@ -130,9 +130,6 @@ is
pragma Loop_Invariant
(Big (Result) * Big (Factor) ** Exp = Big (Left) ** Right);
pragma Loop_Variant (Decreases => Exp);
- pragma Annotate
- (CodePeer, False_Positive,
- "validity check", "confusion on generated code");
if Exp rem 2 /= 0 then
declare
@@ -130,9 +130,6 @@ is
pragma Loop_Invariant
(Big (Result) * Big (Factor) ** Exp = Big (Left) ** Right);
pragma Loop_Variant (Decreases => Exp);
- pragma Annotate
- (CodePeer, False_Positive,
- "validity check", "confusion on generated code");
if Exp rem 2 /= 0 then
declare
@@ -64,9 +64,6 @@ begin
pragma Loop_Invariant (Exp > 0);
pragma Loop_Invariant (Result * Factor ** Exp = Left ** Right);
pragma Loop_Variant (Decreases => Exp);
- pragma Annotate
- (CodePeer, False_Positive,
- "validity check", "confusion on generated code");
if Exp rem 2 /= 0 then
pragma Assert
@@ -163,9 +163,6 @@ begin
pragma Loop_Invariant (Pow = Big_10 ** (W - 2));
pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow);
pragma Loop_Variant (Decreases => T);
- pragma Annotate
- (CodePeer, False_Positive,
- "validity check", "confusion on generated code");
end loop;
declare
@@ -156,9 +156,6 @@ begin
pragma Loop_Invariant (Pow = Big_10 ** (W - 2));
pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow);
pragma Loop_Variant (Decreases => T);
- pragma Annotate
- (CodePeer, False_Positive,
- "validity check", "confusion on generated code");
end loop;
declare