diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-06 14:52:27 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:14 -0400 |
| commit | eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4 (patch) | |
| tree | b09ca55d7f53b55b86da50889bd6059fd5407ad8 | |
| parent | df7507a6373cf54b43b8884a54cbc8e4c4ea03bf (diff) | |
| download | gcc-eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4.zip gcc-eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4.tar.gz gcc-eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 19a0780..d7d5a47 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 |