[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 b6a6525..c1e71b1 100644 (file)
--- 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