From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 3 Dec 2021 14:52:34 +0000 (+0100)
Subject: [Ada] Suppress spurious CodePeer check on generic actual subprogram
X-Git-Tag: basepoints/gcc-13~2018
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f64a1bfaddab7d272224b80560f3a64dae28d6ea;p=thirdparty%2Fgcc.git

[Ada] Suppress spurious CodePeer check on generic actual subprogram

gcc/ada/

	* treepr.adb (Destroy): Prevent spurious check from CodePeer.
---

diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb
index b6a652545ef7..c1e71b18b445 100644
--- a/gcc/ada/treepr.adb
+++ b/gcc/ada/treepr.adb
@@ -84,6 +84,8 @@ package body Treepr is
    --  Simple Hash function for Node_Ids, List_Ids and Elist_Ids
 
    procedure Destroy (Value : in out Nat) is null;
+   pragma Annotate (CodePeer, False_Positive, "unassigned parameter",
+                    "in out parameter is required to instantiate generic");
    --  Dummy routine for destroing hashed values
 
    package Serial_Numbers is new Dynamic_Hash_Tables