From 3d5f1f27a78e7379a8bcb31e52f625b4a535c78a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 26 Jun 2020 05:08:37 -0400 Subject: [PATCH] [Ada] Relax too strong assertions gcc/ada/ * scil_ll.adb, sem_scil.adb: Update assertions. --- gcc/ada/scil_ll.adb | 2 +- gcc/ada/sem_scil.adb | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/scil_ll.adb b/gcc/ada/scil_ll.adb index 98ca30d8d75..af01271bde0 100644 --- a/gcc/ada/scil_ll.adb +++ b/gcc/ada/scil_ll.adb @@ -122,7 +122,7 @@ package body SCIL_LL is when N_SCIL_Membership_Test => pragma Assert (Nkind (N) in N_Identifier | N_And_Then | N_Or_Else | - N_Expression_With_Actions); + N_Expression_With_Actions | N_Function_Call); null; when others => diff --git a/gcc/ada/sem_scil.adb b/gcc/ada/sem_scil.adb index f8ad56bb5fa..56902b0b99e 100644 --- a/gcc/ada/sem_scil.adb +++ b/gcc/ada/sem_scil.adb @@ -135,7 +135,7 @@ package body Sem_SCIL is pragma Assert (Nkind (N) in N_Identifier | N_And_Then | N_Or_Else | - N_Expression_With_Actions + N_Expression_With_Actions | N_Function_Call and then Etype (N) = Standard_Boolean); -- Check the entity identifier of the associated tagged type (that -- 2.30.2