From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Thu, 12 Aug 2021 13:05:23 +0000 (+0200)
Subject: [Ada] Fix CodePeer warnings
X-Git-Tag: basepoints/gcc-13~4293
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=3323aa7ee7dd0cd9364816c80afae31d0dc7b186;p=thirdparty%2Fgcc.git

[Ada] Fix CodePeer warnings

gcc/ada/

	* atree.adb (Print_Statistics): Help CodePeer see Total as
	greater than zero.
	* gen_il-gen.adb (One_Comp): Annotate Field_Table as Modified.
---

diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb
index 5af4b13bb3d1..ce925487518e 100644
--- a/gcc/ada/atree.adb
+++ b/gcc/ada/atree.adb
@@ -2503,6 +2503,10 @@ package body Atree is
          Total := G_Total + S_Total;
       end loop;
 
+      --  This assertion helps CodePeer understand that Total cannot be 0 (this
+      --  is true because GNAT does not attempt to compile empty files).
+      pragma Assert (Total > 0);
+
       Write_Int_64 (Total);
       Write_Str (" (100%) = ");
       Write_Int_64 (G_Total);
diff --git a/gcc/ada/gen_il-gen.adb b/gcc/ada/gen_il-gen.adb
index e3b034a8d698..dd8487d9b8f3 100644
--- a/gcc/ada/gen_il-gen.adb
+++ b/gcc/ada/gen_il-gen.adb
@@ -2347,6 +2347,7 @@ package body Gen_IL.Gen is
                procedure One_Comp (F : Field_Enum);
 
                procedure One_Comp (F : Field_Enum) is
+                  pragma Annotate (Codepeer, Modified, Field_Table);
                   Offset : constant Field_Offset :=  Field_Table (F).Offset;
                begin
                   if First_Time then