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

[Ada] Refine use of access types in unnesting

Browse Source 
gcc/ada/

	* exp_unst.adb (Needs_Fat_Pointer): Don't check for formal.
	(Unnest_Subprogram): Use 'Unchecked_Access instead of 'Access
	when populating activation record.
This commit is contained in:
Richard Kenner 2020-05-04 09:47:30 -04:00 committed by Pierre-Marie de Rodat
parent f5b65fab88
commit 3e6bb105d3
1 changed files with 7 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gcc/ada/exp_unst.adb
View File

@ -251,18 +251,14 @@ package body Exp_Unst is
-----------------------
function Needs_Fat_Pointer (E : Entity_Id) return Boolean is
Typ : Entity_Id;
begin
if Is_Formal (E) then
Typ := Etype (E);
if Is_Private_Type (Typ) and then Present (Full_View (Typ)) then
Typ := Full_View (Typ);
end if;
Typ : Entity_Id := Etype (E);
return Is_Array_Type (Typ) and then not Is_Constrained (Typ);
else
return False;
begin
if Is_Private_Type (Typ) and then Present (Full_View (Typ)) then
Typ := Full_View (Typ);
end if;
return Is_Array_Type (Typ) and then not Is_Constrained (Typ);
end Needs_Fat_Pointer;
----------------
@ -2084,7 +2080,7 @@ package body Exp_Unst is
-- or else 'Access for unconstrained array
if Needs_Fat_Pointer (Ent) then
Attr := Name_Access;
Attr := Name_Unchecked_Access;
else
Attr := Name_Address;
end if;