OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Remove repeated calls in Resolve_Range

Browse Source 
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.
This commit is contained in:
Piotr Trojanek 2021-01-20 17:41:09 +01:00 committed by Pierre-Marie de Rodat
parent ef4a0de035
commit a86fbc250c
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/ada/sem_res.adb
View File

@ -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;