From f64a1bfaddab7d272224b80560f3a64dae28d6ea Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 3 Dec 2021 15:52:34 +0100
Subject: [PATCH] [Ada] Suppress spurious CodePeer check on generic actual
 subprogram

gcc/ada/

	* treepr.adb (Destroy): Prevent spurious check from CodePeer.
---
 gcc/ada/treepr.adb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb
index b6a6525..c1e71b1 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
-- 
2.7.4