From dae09f9b557b1a38b4743a4213f7ca47c48eec81 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Tue, 12 May 2020 08:20:22 -0400 Subject: [PATCH] [Ada] Handle explicit dereferences in expression functions gcc/ada/ * freeze.adb (Freeze_Expr_Types): Freeze the designated type of the explicit dereference. --- gcc/ada/freeze.adb | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 7df283a32c4..fd76e7bc63c 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -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 -- 2.30.2