From: Arnaud Charlet <charlet@adacore.com>
Date: Fri, 26 Jun 2020 09:08:37 +0000 (-0400)
Subject: [Ada] Relax too strong assertions
X-Git-Tag: basepoints/gcc-12~4278
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3d5f1f27a78e7379a8bcb31e52f625b4a535c78a;p=thirdparty%2Fgcc.git

[Ada] Relax too strong assertions

gcc/ada/

	* scil_ll.adb, sem_scil.adb: Update assertions.
---

diff --git a/gcc/ada/scil_ll.adb b/gcc/ada/scil_ll.adb
index 98ca30d8d750..af01271bde0c 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 f8ad56bb5fa4..56902b0b99e6 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