aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2021-01-20 17:41:09 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2021-05-06 03:51:37 -0400
commita86fbc250c5a6c6d5ae408166ef440f6c0f65df7 (patch)
treecc5de9a680b1c36426306f4a8b00ef5a37fd4418 /gcc/ada
parentef4a0de035ac0eb7ede9e6581c3aa40f8596e8bf (diff)
downloadgcc-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.adb11
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;