Message ID | 20220106171253.GA2921446@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Justify false positive message from CodePeer analysis of GNAT | expand |
diff --git a/gcc/ada/libgnat/s-exponu.adb b/gcc/ada/libgnat/s-exponu.adb --- 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