From 348931ea3e09cbafa0bbd4dadfb05694aef531c0 Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 17 Jan 2022 13:37:00 +0100
Subject: [PATCH] [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.
---
 gcc/ada/libgnat/s-expmod.adb | 3 ---
 1 file changed, 3 deletions(-)

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