This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Ada: fix incorrect detection of elaboration circularities

From: Arnaud Charlet <charlet at ACT-Europe dot FR>
To: gcc-patches at gcc dot gnu dot org
Cc: Ed Schonberg <schonberg at gnat dot com>
Date: Wed, 27 Oct 2004 12:11:54 +0200
Subject: Ada: fix incorrect detection of elaboration circularities

Tested on x86-linux

Fix incorrect detection of elaboration circularities in some complex cases.
Found by code reading.

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.

Attachment: difs.31
Description: Text document

Follow-Ups:
- Re: Ada: fix incorrect detection of elaboration circularities
  - From: Arnaud Charlet

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]