From: Yannick Moy <moy@adacore.com>
Date: Fri, 3 Dec 2021 15:23:01 +0000 (+0100)
Subject: [Ada] Justify false positive message from CodePeer analysis of GNAT
X-Git-Tag: basepoints/gcc-13~2019
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4e5e43e8ca4f059c61bb1fccbf804bbce7375f5b;p=thirdparty%2Fgcc.git

[Ada] Justify false positive message from CodePeer analysis of GNAT

gcc/ada/

	* libgnat/s-exponu.adb (Exponu): Add annotation.
---

diff --git a/gcc/ada/libgnat/s-exponu.adb b/gcc/ada/libgnat/s-exponu.adb
index 06ed5099c250..2885d6b4f194 100644
--- a/gcc/ada/libgnat/s-exponu.adb
+++ b/gcc/ada/libgnat/s-exponu.adb
@@ -64,6 +64,9 @@ 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