From 9dcb52e145b7b6eb52c71d14f797e82fae9c32cd Mon Sep 17 00:00:00 2001
From: Ed Schonberg <schonberg@adacore.com>
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 <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
---
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 7d31004651c2..822446e91091 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
--
GitLab