diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-06-26 05:08:37 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-16 03:31:27 -0400 |
| commit | 3d5f1f27a78e7379a8bcb31e52f625b4a535c78a (patch) | |
| tree | 32ff6ec91838bf02d826ee9f2ff7ab7ae4b74d3a /gcc | |
| parent | 6d0dedfa0b2141a7f6fa94ebec3f2d7249593a0d (diff) | |
| download | gcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.zip gcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.tar.gz gcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.tar.bz2 | |
[Ada] Relax too strong assertions
gcc/ada/
* scil_ll.adb, sem_scil.adb: Update assertions.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/scil_ll.adb | 2 | ||||
| -rw-r--r-- | 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 98ca30d..af01271 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 f8ad56b..56902b0 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 |