From eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 6 Apr 2020 14:52:27 +0200 Subject: [PATCH] [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. --- 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 -- 2.30.2