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

[Ada] Handle explicit dereferences in expression functions

Browse Source 
gcc/ada/

	* freeze.adb (Freeze_Expr_Types): Freeze the designated type of
	the explicit dereference.
This commit is contained in:
Ed Schonberg 2020-05-12 08:20:22 -04:00 committed by Pierre-Marie de Rodat
parent 572fa852f2
commit dae09f9b55
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ada/freeze.adb
View File

@ -7934,6 +7934,15 @@ package body Freeze is
and then Node = Controlling_Argument (Parent (Node))
then
Check_And_Freeze_Type (Designated_Type (Etype (Node)));
-- An explicit dereference freezes the designated type as well,
-- even though that type is not attached to an entity in the
-- expression.
elsif Nkind (Node) in N_Has_Etype
and then Nkind (Parent (Node)) = N_Explicit_Dereference
then
Check_And_Freeze_Type (Designated_Type (Etype (Node)));
end if;
-- No point in posting several errors on the same expression