From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 6 Apr 2020 12:52:27 +0000 (+0200)
Subject: [Ada] Fix assertion failure on qualified type names in predicates
X-Git-Tag: basepoints/gcc-12~6893
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4;p=thirdparty%2Fgcc.git

[Ada] Fix assertion failure on qualified type names in predicates

2020-06-16  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_ch13.adb (Membership_Entry): Relax assertion to also
	recognize qualified identifiers.
---

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 19a0780cc1e2..d7d5a47fded4 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