From 419c355c7a871513e1065b7cec32dd456eb4a0e5 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 19 Mar 2020 14:50:32 +0100 Subject: [PATCH] [Ada] Fix missing insertion of explicit dereference in instance 2020-06-11 Eric Botcazou gcc/ada/ * sem_res.adb (Resolve_Implicit_Dereference): In an instance, reset the type of the prefix if it is private before building the dereference. --- gcc/ada/sem_res.adb | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 71c9ed2..5fa74f0 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -8740,6 +8740,17 @@ package body Sem_Res is Desig_Typ : Entity_Id; begin + -- In an instance the proper view may not always be correct for + -- private types, see e.g. Sem_Type.Covers for similar handling. + + if Is_Private_Type (Etype (P)) + and then Present (Full_View (Etype (P))) + and then Is_Access_Type (Full_View (Etype (P))) + and then In_Instance + then + Set_Etype (P, Full_View (Etype (P))); + end if; + if Is_Access_Type (Etype (P)) then Desig_Typ := Implicitly_Designated_Type (Etype (P)); Insert_Explicit_Dereference (P); -- 2.7.4