[gcc r11-3979] [Ada] Relax too strong assertions

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:3d5f1f27a78e7379a8bcb31e52f625b4a535c78a

commit r11-3979-g3d5f1f27a78e7379a8bcb31e52f625b4a535c78a
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Fri Jun 26 05:08:37 2020 -0400

    [Ada] Relax too strong assertions
    
    gcc/ada/
    
            * scil_ll.adb, sem_scil.adb: Update assertions.

Diff:
---
 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