[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 60d86e505b8a4a8ed5b39682b5b4fc3a9e63e7ff..527338da08170b6b7f5ef34b1239c27845c3a42a 100644 (file)
--- 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