diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-02-22 22:25:16 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-16 10:49:30 +0200 |
| commit | 7d2a5dbbfed311b9d13e5772dbc86f525adde3e9 (patch) | |
| tree | cd216d0c64bb0a61699cc8a4c70c41043f1cc0c8 | |
| parent | fa832b4e799e4db4d815ca9a94e331c55dc2f3b3 (diff) | |
| download | gcc-7d2a5dbbfed311b9d13e5772dbc86f525adde3e9.zip gcc-7d2a5dbbfed311b9d13e5772dbc86f525adde3e9.tar.gz gcc-7d2a5dbbfed311b9d13e5772dbc86f525adde3e9.tar.bz2 | |
ada: Fix detection of if_expressions that are known on entry
Fix a small glitch in routine Is_Known_On_Entry, which returned False
for all if_expressions, regardless whether their conditions or dependent
expressions are known on entry.
gcc/ada/
* sem_util.adb (Is_Known_On_Entry): Check whether condition and
dependent expressions of an if_expression are known on entry.
| -rw-r--r-- | gcc/ada/sem_util.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 68e131d..766cabf 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -30784,9 +30784,7 @@ package body Sem_Util is return Is_Known_On_Entry (Expression (Expr)); when N_If_Expression => - if not All_Exps_Known_On_Entry (Expressions (Expr)) then - return False; - end if; + return All_Exps_Known_On_Entry (Expressions (Expr)); when N_Case_Expression => if not Is_Known_On_Entry (Expression (Expr)) then |