From ce79e7e24acdc83620782dae9b954b1ad2bdb988 Mon Sep 17 00:00:00 2001
From: Yannick Moy <moy@adacore.com>
Date: Fri, 26 Nov 2021 09:32:09 +0100
Subject: [PATCH] [Ada] Add pragma Annotate for CodePeer analysis

gcc/ada/

	* libgnat/s-widthi.adb: Add pragma Annotate.
---
 gcc/ada/libgnat/s-widthi.adb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/libgnat/s-widthi.adb b/gcc/ada/libgnat/s-widthi.adb
index 55a94ecfc10c..e47c8c13f271 100644
--- a/gcc/ada/libgnat/s-widthi.adb
+++ b/gcc/ada/libgnat/s-widthi.adb
@@ -163,6 +163,9 @@ begin
          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