sem_elab.adb (Check_Elab_Call): Do not check a call that does not appear in the code...
authorEd Schonberg <schonber@gnat.com>
Wed, 27 Oct 2004 13:54:38 +0000 (15:54 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 27 Oct 2004 13:54:38 +0000 (15:54 +0200)
commit65b03d7d594f24807a36b96e1c52c061817cc307
tree1afa7631a5c082a786b8b415df0c1075abfe9ad7
parente895b4353e55d9c4bacb17be111deda3329ec095
sem_elab.adb (Check_Elab_Call): Do not check a call that does not appear in the code for the main unit.

2004-10-26  Ed Schonberg  <schonberg@gnat.com>

* sem_elab.adb (Check_Elab_Call): Do not check a call that does not
appear in the code for the main unit. Dependencies among units in the
context of the main unit are established when those other units are
compiled. Otherwise spurious elaboration constraints can generate
incorrect elaboration circularities.

From-SVN: r89673
gcc/ada/sem_elab.adb