[gcc r15-556] ada: Fix detection of if_expressions that are known on entry

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:7d2a5dbbfed311b9d13e5772dbc86f525adde3e9

commit r15-556-g7d2a5dbbfed311b9d13e5772dbc86f525adde3e9
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Thu Feb 22 22:25:16 2024 +0100

    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.

Diff:
---
 gcc/ada/sem_util.adb | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 68e131db6062..766cabfc109d 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