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

[Ada] Skip unnecessary iterations over constraint expressions

Browse Source 
2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_ch3.adb (Build_Constrained_Array_Type,
	Build_Constrained_Discriminated_Type): Skip unnecessary loop
	iterations.
This commit is contained in:
Piotr Trojanek 2020-03-13 21:07:56 +01:00 committed by Pierre-Marie de Rodat
parent c5b55e683c
commit 428d49a5a8
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/sem_ch3.adb
View File

@ -13093,7 +13093,7 @@ package body Sem_Ch3 is
Scop : Entity_Id;
begin
-- if the original access type was not embedded in the enclosing
-- If the original access type was not embedded in the enclosing
-- type definition, there is no need to produce a new access
-- subtype. In fact every access type with an explicit constraint
-- generates an itype whose scope is the enclosing record.
@ -13192,6 +13192,7 @@ package body Sem_Ch3 is
Is_Discriminant (Hi_Expr)
then
Need_To_Create_Itype := True;
exit;
end if;
Next_Index (Old_Index);
@ -13248,6 +13249,7 @@ package body Sem_Ch3 is
if Is_Discriminant (Expr) then
Need_To_Create_Itype := True;
exit;
-- After expansion of discriminated task types, the value
-- of the discriminant may be converted to a run-time type
@ -13259,6 +13261,7 @@ package body Sem_Ch3 is
and then Is_Discriminant (Expression (Expr))
then
Need_To_Create_Itype := True;
exit;
end if;
Next_Elmt (Old_Constraint);