From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2100) id A4CA33850419; Sat, 22 Aug 2020 22:37:46 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A4CA33850419 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1598135866; bh=V5Xt5Ja82Qe1u+em0c151lf9VC8lRdF/9TsKriHiIH8=; h=From:To:Subject:Date:From; b=YeU0CDOBuilRadfn8kmxM+qdpzfxo77MuTZkxHURDsKgoO0UtpMi0eLqfmQp70eSm 8KBhd/f/jje3dR/Pm8U3vu1TEOE9kx9+cdL55+zeRC3qNgs0p/aTqvnn6kKD73T3jX F3vdxMJAUhm6+EzjyNSZRQWadXnMtFYT7aab+8Bw= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Giuliano Belinassi To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/autopar_devel] [Ada] Fix assertion failure on qualified type names in predicates X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/devel/autopar_devel X-Git-Oldrev: 0da29fc40829ef6908353e950cfeb4aca191c08c X-Git-Newrev: 21d0292d5d4178f5cc93bf1ae6c8c7d6669ac445 Message-Id: <20200822223746.A4CA33850419@sourceware.org> Date: Sat, 22 Aug 2020 22:37:46 +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: Sat, 22 Aug 2020 22:37:46 -0000 https://gcc.gnu.org/g:21d0292d5d4178f5cc93bf1ae6c8c7d6669ac445 commit 21d0292d5d4178f5cc93bf1ae6c8c7d6669ac445 Author: Piotr Trojanek Date: Mon Apr 6 14:52:27 2020 +0200 [Ada] Fix assertion failure on qualified type names in predicates 2020-06-16 Piotr Trojanek gcc/ada/ * sem_ch13.adb (Membership_Entry): Relax assertion to also recognize qualified identifiers. Diff: --- gcc/ada/sem_ch13.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 19a0780cc1e..d7d5a47fded 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -8566,7 +8566,7 @@ package body Sem_Ch13 is -- Identifier (other than static expression) case - else pragma Assert (Nkind (N) = N_Identifier); + else pragma Assert (Nkind_In (N, N_Expanded_Name, N_Identifier)); -- Type case