FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Lift restriction on optimization of aliased objects

Browse source 
It turns out that the only blocking case is an aliased object whose nominal
subtype is an unconstrained array because the bounds must be allocated.

gcc/ada/

	* exp_ch3.adb (Expand_N_Object_Declaration): Also optimize aliased
	objects if their nominal subtype is not an unconstrained array.
This commit is contained in:
Eric Botcazou 2023-01-02 23:11:21 +01:00 • committed by Marc Poulhiès
parent 8daf80ff0e
commit 24993939b7
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ada/exp_ch3.adb
View file

@ -7965,10 +7965,10 @@ package body Exp_Ch3 is
Is_Entity_Name (Original_Node (Obj_Def))
-- The aliased case has to be excluded because the expression
-- will not be aliased in the general case.
-- Nor if it is effectively an unconstrained declaration
and then not Aliased_Present (N)
and then not (Is_Array_Type (Typ)
and then Is_Constr_Subt_For_UN_Aliased (Typ))
-- We may use a renaming if the initializing expression is a
-- captured function call that meets a few conditions.