diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2005-07-04 15:29:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-07-04 15:29:19 +0200 |
| commit | d5f09c91bfc909f42bb0f446692a09e23e7c977b (patch) | |
| tree | 8aa465075e805d59be9fe017c08cddf531383709 | |
| parent | 323b59c470a055476f7b2089175de65036abf33c (diff) | |
| download | gcc-d5f09c91bfc909f42bb0f446692a09e23e7c977b.zip gcc-d5f09c91bfc909f42bb0f446692a09e23e7c977b.tar.gz gcc-d5f09c91bfc909f42bb0f446692a09e23e7c977b.tar.bz2 | |
sem_ch10.adb (Build_Limited_Views): A type declared with a private type extension needs a limited view.
2005-07-04 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_ch10.adb (Build_Limited_Views): A type declared with a private
type extension needs a limited view.
Remove previous restriction on private types available through the
limited-view (only tagged private types were previously allowed).
(Install_Withed_Unit): In the code that implements the
legality rule given in AI-377, exclude a child unit with the name
Standard, because it is a homonym of the Standard environment package.
From-SVN: r101586
| -rw-r--r-- | gcc/ada/sem_ch10.adb | 44 |
1 files changed, 37 insertions, 7 deletions
diff --git a/gcc/ada/sem_ch10.adb b/gcc/ada/sem_ch10.adb index 333d206..3d3f153 100644 --- a/gcc/ada/sem_ch10.adb +++ b/gcc/ada/sem_ch10.adb @@ -3714,7 +3714,8 @@ package body Sem_Ch10 is -- instance I1 of a generic unit G1 has an explicit child unit I1.G2, -- G1 has a generic child also named G2, and the context includes with_ -- clauses for both I1.G2 and for G1.G2, making an implicit declaration - -- of I1.G2 visible as well. + -- of I1.G2 visible as well. If the child unit is named Standard, do + -- not apply the check to the Standard package itself. if Is_Child_Unit (Uname) and then Is_Visible_Child_Unit (Uname) @@ -3728,7 +3729,9 @@ package body Sem_Ch10 is begin U2 := Homonym (Uname); - while Present (U2) loop + while Present (U2) + and U2 /= Standard_Standard + loop P2 := Scope (U2); Decl2 := Unit_Declaration_Node (P2); @@ -4057,13 +4060,15 @@ package body Sem_Ch10 is Set_Non_Limited_View (Lim_Typ, Comp_Typ); - elsif Nkind (Decl) = N_Private_Type_Declaration - and then Tagged_Present (Decl) - then + elsif Nkind (Decl) = N_Private_Type_Declaration then Comp_Typ := Defining_Identifier (Decl); if not Analyzed_Unit then - Decorate_Tagged_Type (Sloc (Decl), Comp_Typ, Scope); + if Tagged_Present (Decl) then + Decorate_Tagged_Type (Sloc (Decl), Comp_Typ, Scope); + else + Decorate_Incomplete_Type (Comp_Typ, Scope); + end if; end if; Lim_Typ := New_Internal_Shadow_Entity @@ -4075,8 +4080,33 @@ package body Sem_Ch10 is Set_Parent (Lim_Typ, Parent (Comp_Typ)); Set_From_With_Type (Lim_Typ); - Decorate_Tagged_Type (Sloc (Decl), Lim_Typ, Scope); + if Tagged_Present (Decl) then + Decorate_Tagged_Type (Sloc (Decl), Lim_Typ, Scope); + else + Decorate_Incomplete_Type (Lim_Typ, Scope); + end if; + + Set_Non_Limited_View (Lim_Typ, Comp_Typ); + + elsif Nkind (Decl) = N_Private_Extension_Declaration then + Comp_Typ := Defining_Identifier (Decl); + if not Analyzed_Unit then + Decorate_Tagged_Type (Sloc (Decl), Comp_Typ, Scope); + end if; + + -- Create shadow entity for type + + Lim_Typ := New_Internal_Shadow_Entity + (Kind => Ekind (Comp_Typ), + Sloc_Value => Sloc (Comp_Typ), + Id_Char => 'Z'); + + Set_Chars (Lim_Typ, Chars (Comp_Typ)); + Set_Parent (Lim_Typ, Parent (Comp_Typ)); + Set_From_With_Type (Lim_Typ); + + Decorate_Tagged_Type (Sloc (Decl), Lim_Typ, Scope); Set_Non_Limited_View (Lim_Typ, Comp_Typ); elsif Nkind (Decl) = N_Package_Declaration then |