[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 5af4b13..ce92548 100644 (file)
--- 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 e3b034a..dd8487d 100644 (file)
--- 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