From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 17 Jan 2022 12:37:00 +0000 (+0100)
Subject: [Ada] Remove CodePeer annotations for pragma Loop_Variant
X-Git-Tag: basepoints/gcc-14~7011
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=348931ea3e09cbafa0bbd4dadfb05694aef531c0;p=thirdparty%2Fgcc.git

[Ada] Remove CodePeer annotations for pragma Loop_Variant

Pragma Loop_Variant is now expanded into a null statement in CodePeer
mode. Remove annotation related to false positives in runtime units.

gcc/ada/

	* libgnat/s-expmod.adb: Remove CodePeer annotation for pragma
	Loop_Variant.
---

diff --git a/gcc/ada/libgnat/s-expmod.adb b/gcc/ada/libgnat/s-expmod.adb
index 60d86e505b8..527338da081 100644
--- a/gcc/ada/libgnat/s-expmod.adb
+++ b/gcc/ada/libgnat/s-expmod.adb
@@ -251,9 +251,6 @@ is
             pragma Loop_Invariant (Equal_Modulo
               (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
                pragma Assert