From 3323aa7ee7dd0cd9364816c80afae31d0dc7b186 Mon Sep 17 00:00:00 2001 From: Ghjuvan Lacambre Date: Thu, 12 Aug 2021 15:05:23 +0200 Subject: [PATCH] [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. --- gcc/ada/atree.adb | 4 ++++ gcc/ada/gen_il-gen.adb | 1 + 2 files changed, 5 insertions(+) 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 -- 2.47.2