From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id 50AEC3858022; Mon, 14 Nov 2022 13:52:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 50AEC3858022 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668433924; bh=um9uNYFQMTAY+17j8ojG422oewiNPwsJK3VqPp4LKM8=; h=From:To:Subject:Date:From; b=V2+V4mW5pSzrjQU+3DXX74Ph9yH4GW5LHPI6reTYrvNFa+sCYngzWNUpYeMYltZQ0 Pb4oVVPQ5fvQhhDkrHQhJCXC+RoNt6hq1jPTGb50KJADLtPnnDVCoQDq03dIsKxRpL kPaQfUd7Ht2Q8RvS2Wehrkq7fYeqLbjkAIoFbifI= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4017] ada: Silence CodePeer false positive X-Act-Checkin: gcc X-Git-Author: Boris Yakobowski X-Git-Refname: refs/heads/master X-Git-Oldrev: 438f878718f81302205b5241dd325bb841c8c92c X-Git-Newrev: 5ba25973e2f403ee48af2ba579af5017b2f650fb Message-Id: <20221114135204.50AEC3858022@sourceware.org> Date: Mon, 14 Nov 2022 13:52:04 +0000 (GMT) List-Id: https://gcc.gnu.org/g:5ba25973e2f403ee48af2ba579af5017b2f650fb commit r13-4017-g5ba25973e2f403ee48af2ba579af5017b2f650fb Author: Boris Yakobowski Date: Wed Nov 9 14:02:00 2022 +0100 ada: Silence CodePeer false positive gcc/ada/ * sem_case.adb: silence false positive warning emitted by CodePeer on predefined equality for type Choice_Range_Info. Diff: --- gcc/ada/sem_case.adb | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 244e53f5752..f89c3ca386f 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -209,6 +209,8 @@ package body Sem_Case is null; end case; end record; + pragma Annotate (CodePeer, False_Positive, "raise exception", + "function is abstract, hence never called"); function "=" (X, Y : Choice_Range_Info) return Boolean is abstract; type Choices_Range_Info is array (Choice_Id) of Choice_Range_Info;