From 9dcb52e145b7b6eb52c71d14f797e82fae9c32cd Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Mon, 4 Jul 2005 15:29:47 +0200 Subject: [PATCH] sem_ch6.adb (Conforming_Types): If the types are anonymous access types check whether some designated type is a... 2005-07-04 Ed Schonberg * sem_ch6.adb (Conforming_Types): If the types are anonymous access types check whether some designated type is a limited view, and use the non-limited view if available. From-SVN: r101588 --- gcc/ada/sem_ch6.adb | 24 ++++++++++++++++-------- 1 file changed, 16 insertions(+), 8 deletions(-) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 7d31004651c..822446e9109 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -3326,19 +3326,27 @@ package body Sem_Ch6 is Desig_1 := Directly_Designated_Type (Type_1); -- An access parameter can designate an incomplete type + -- If the incomplete type is the limited view of a type + -- from a limited_with_clause, check whether the non-limited + -- view is available. - if Ekind (Desig_1) = E_Incomplete_Type - and then Present (Full_View (Desig_1)) - then - Desig_1 := Full_View (Desig_1); + if Ekind (Desig_1) = E_Incomplete_Type then + if Present (Full_View (Desig_1)) then + Desig_1 := Full_View (Desig_1); + + elsif Present (Non_Limited_View (Desig_1)) then + Desig_1 := Non_Limited_View (Desig_1); + end if; end if; Desig_2 := Directly_Designated_Type (Type_2); - if Ekind (Desig_2) = E_Incomplete_Type - and then Present (Full_View (Desig_2)) - then - Desig_2 := Full_View (Desig_2); + if Ekind (Desig_2) = E_Incomplete_Type then + if Present (Full_View (Desig_2)) then + Desig_2 := Full_View (Desig_2); + elsif Present (Non_Limited_View (Desig_2)) then + Desig_2 := Non_Limited_View (Desig_2); + end if; end if; -- The context is an instance association for a formal -- 2.30.2