[gcc r12-3743] [Ada] Remove if_expression

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:911b00fba9a092448035c0951d5b229819124d20

commit r12-3743-g911b00fba9a092448035c0951d5b229819124d20
Author: Bob Duff <duff@adacore.com>
Date:   Tue Jul 6 16:56:58 2021 -0400

    [Ada] Remove if_expression
    
    gcc/ada/
    
            * sem_eval.adb (Fold_Shift): Replace an if_expression with an
            if_statement.

Diff:
---
 gcc/ada/sem_eval.adb | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb
index da51caa30a1..6f814069f3c 100644
--- a/gcc/ada/sem_eval.adb
+++ b/gcc/ada/sem_eval.adb
@@ -5063,12 +5063,20 @@ package body Sem_Eval is
                --  result is always positive, even if the original operand was
                --  negative.
 
-               Fold_Uint
-                 (N,
-                  (Expr_Value (Left) +
-                     (if Expr_Value (Left) >= Uint_0 then Uint_0 else Modulus))
-                  / (Uint_2 ** Expr_Value (Right)),
-                  Static => Static);
+               declare
+                  M : Unat;
+               begin
+                  if Expr_Value (Left) >= Uint_0 then
+                     M := Uint_0;
+                  else
+                     M := Modulus;
+                  end if;
+
+                  Fold_Uint
+                    (N,
+                     (Expr_Value (Left) + M) / (Uint_2 ** Expr_Value (Right)),
+                     Static => Static);
+               end;
             end if;
          elsif Op = N_Op_Shift_Right_Arithmetic then
             Check_Elab_Call;