From 072569952a3c23ddab900d14aedf6f7479739cf6 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 3 Jan 2005 15:41:04 +0000 Subject: [PATCH] * sem_ch12.adb (Analyze_Package_Instantiation): Create a separate node to use as the defining identifier for a formal package. (Remove_Parent): If the instance takes place within (an instance of) a sibling, preserve private declarations of common parent. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@92848 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_ch12.adb | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index b1779e1..588ce99 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -2849,6 +2849,17 @@ package body Sem_Ch12 is Inline_Instance_Body (N, Gen_Unit, Act_Decl); end if; + -- The following is a tree patch for ASIS: ASIS needs separate nodes + -- to be used as defining identifiers for a formal package and for the + -- corresponding expanded package + + if Nkind (N) = N_Formal_Package_Declaration then + Act_Decl_Id := New_Copy (Defining_Entity (N)); + Set_Comes_From_Source (Act_Decl_Id, True); + Set_Is_Generic_Instance (Act_Decl_Id, False); + Set_Defining_Identifier (N, Act_Decl_Id); + end if; + exception when Instantiation_Error => if Parent_Installed then @@ -8904,9 +8915,11 @@ package body Sem_Ch12 is and then P /= Current_Scope then -- We are within an instance of some sibling. Retain - -- visibility of parent, for proper subsequent cleanup. + -- visibility of parent, for proper subsequent cleanup, + -- and reinstall private declarations as well. Set_In_Private_Part (P); + Install_Private_Declarations (P); end if; -- This looks incomplete: what about compilation units that -- 2.7.4