diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2005-07-04 15:29:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-07-04 15:29:47 +0200 |
| commit | 9dcb52e145b7b6eb52c71d14f797e82fae9c32cd (patch) | |
| tree | 024c20416dae1706175a93972688a747a359748d | |
| parent | d3e65aad2ce5838c300670b4a0f6ad6fa41d917f (diff) | |
| download | gcc-9dcb52e145b7b6eb52c71d14f797e82fae9c32cd.zip gcc-9dcb52e145b7b6eb52c71d14f797e82fae9c32cd.tar.gz gcc-9dcb52e145b7b6eb52c71d14f797e82fae9c32cd.tar.bz2 | |
sem_ch6.adb (Conforming_Types): If the types are anonymous access types check whether some designated type is a...
2005-07-04 Ed Schonberg <schonberg@adacore.com>
* 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
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 7d31004..822446e 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 |