diff mbox series

[Ada] Relax too strong assertions

Message ID 20201016073540.GA65423@adacore.com
State New
Headers show
Series [Ada] Relax too strong assertions | expand

Commit Message

Pierre-Marie de Rodat Oct. 16, 2020, 7:35 a.m. UTC 
Recent changes exposed that some assertions were too strong, now
relaxed.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* scil_ll.adb, sem_scil.adb: Update assertions.
diff mbox series

Patch

diff --git a/gcc/ada/scil_ll.adb b/gcc/ada/scil_ll.adb
--- 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
--- 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