sem_elab.adb (Check_A_Call): refine message when call is in an instance but callee...

	* sem_elab.adb (Check_A_Call): refine message when call is in an
	instance but callee is not declared in the generic unit.

From-SVN: r46513

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a3bdfef..410f117 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,4 +1,9 @@
 2001-10-25  Ed Schonberg <schonber@gnat.com>
+
+       * sem_elab.adb (Check_A_Call): refine message when call is in an 
+       instance but callee is not declared in the generic unit.
+
+2001-10-25  Ed Schonberg <schonber@gnat.com>
        
        * sem_elab.adb (Check_A_Call): check for renaming before finding the 
        enclosing unit, which may already be different from the calling unit.

diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb
index 943161a..53dc7f8 100644 (file)
--- a/gcc/ada/sem_elab.adb
+++ b/gcc/ada/sem_elab.adb
@@ -521,6 +521,7 @@ package body Sem_Elab is
 
          if Unit_Caller /= No_Unit
            and then Unit_Callee /= Unit_Caller
+           and then Unit_Callee /= No_Unit
            and then not Dynamic_Elaboration_Checks
          then
             E_Scope := Spec_Entity (Cunit_Entity (Unit_Caller));