From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 03C673858035; Thu, 6 Jan 2022 17:13:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 03C673858035 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-6295] [Ada] Suppress spurious CodePeer check on generic actual subprogram X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: 4e5e43e8ca4f059c61bb1fccbf804bbce7375f5b X-Git-Newrev: f64a1bfaddab7d272224b80560f3a64dae28d6ea Message-Id: <20220106171317.03C673858035@sourceware.org> Date: Thu, 6 Jan 2022 17:13:17 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 Jan 2022 17:13:17 -0000 https://gcc.gnu.org/g:f64a1bfaddab7d272224b80560f3a64dae28d6ea commit r12-6295-gf64a1bfaddab7d272224b80560f3a64dae28d6ea Author: Piotr Trojanek Date: Fri Dec 3 15:52:34 2021 +0100 [Ada] Suppress spurious CodePeer check on generic actual subprogram gcc/ada/ * treepr.adb (Destroy): Prevent spurious check from CodePeer. Diff: --- gcc/ada/treepr.adb | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/treepr.adb b/gcc/ada/treepr.adb index b6a652545ef..c1e71b18b44 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