diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-01-20 17:41:09 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-06 03:51:37 -0400 |
commit | a86fbc250c5a6c6d5ae408166ef440f6c0f65df7 (patch) | |
tree | cc5de9a680b1c36426306f4a8b00ef5a37fd4418 /gcc/ada | |
parent | ef4a0de035ac0eb7ede9e6581c3aa40f8596e8bf (diff) | |
download | gcc-a86fbc250c5a6c6d5ae408166ef440f6c0f65df7.zip gcc-a86fbc250c5a6c6d5ae408166ef440f6c0f65df7.tar.gz gcc-a86fbc250c5a6c6d5ae408166ef440f6c0f65df7.tar.bz2 |
[Ada] Remove repeated calls in Resolve_Range
gcc/ada/
* sem_res.adb (First_Last_Ref): Simplify "if [condition] then
return True" in "return [condition]".
(Resolve_Range): Remove calls appearing in IF condition from the
THEN statements.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/sem_res.adb | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 88d294e..d2819e4 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -10542,12 +10542,9 @@ package body Sem_Res is PL : constant Node_Id := Prefix (Lorig); PH : constant Node_Id := Prefix (Horig); begin - if Is_Entity_Name (PL) + return Is_Entity_Name (PL) and then Is_Entity_Name (PH) - and then Entity (PL) = Entity (PH) - then - return True; - end if; + and then Entity (PL) = Entity (PH); end; end if; @@ -10616,11 +10613,11 @@ package body Sem_Res is if Is_Discrete_Type (Typ) and then Expander_Active then if Is_OK_Static_Expression (L) then - Fold_Uint (L, Expr_Value (L), Is_OK_Static_Expression (L)); + Fold_Uint (L, Expr_Value (L), Static => True); end if; if Is_OK_Static_Expression (H) then - Fold_Uint (H, Expr_Value (H), Is_OK_Static_Expression (H)); + Fold_Uint (H, Expr_Value (H), Static => True); end if; end if; end Resolve_Range; |