From c652a33260b19ac1ee3cd15cadb4b3499ac587f9 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 19 Oct 2021 12:44:17 -0400 Subject: [PATCH] [Ada] Shutdown codepeer message gcc/ada/ * libgnat/s-widthu.adb: Add pragma Annotate. --- gcc/ada/libgnat/s-widthu.adb | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/ada/libgnat/s-widthu.adb b/gcc/ada/libgnat/s-widthu.adb index e0e4d17b4d19..fce8c7ad3e0c 100644 --- a/gcc/ada/libgnat/s-widthu.adb +++ b/gcc/ada/libgnat/s-widthu.adb @@ -134,10 +134,13 @@ begin W := W + 1; Pow := Pow * 10; - pragma Loop_Variant (Decreases => T); pragma Loop_Invariant (W in 3 .. Max_W + 3); pragma Loop_Invariant (Pow = Big_10 ** (W - 2)); pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow); + pragma Loop_Variant (Decreases => T); + pragma Annotate + (CodePeer, False_Positive, + "validity check", "confusion on generated code"); end loop; declare -- 2.47.2