aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ada/sem_res.adb11
1 files changed, 11 insertions, 0 deletions
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);