From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5dba30d6260ef552
X-Google-Attributes: gid103376,public
From: Mats Weber <matsw@mail.com>
Subject: Re: Elaboration Order
Date: 1999/11/23
Message-ID: <383A5B02.B5131B0F@mail.com>#1/1
X-Deja-AN: 551988898
Content-Transfer-Encoding: 7bit
References: <FL8IuH.677@sd.aonix.com> <80pcdf$7u5$1@nnrp1.deja.com>
 <FLABtD.MEw@sd.aonix.com> <80s1h2$6fu$1@nnrp1.deja.com>
 <x7vn1s9ouiu.fsf@pogner.demon.co.uk> <81c1jv$b2a$1@nnrp1.deja.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: usenet@sunrise.ch
X-Trace: news1.sunrise.ch 943348484 7244 195.141.231.162 (23 Nov 1999 09:14:44
 GMT)
Organization: sunrise communications ag
Mime-Version: 1.0
NNTP-Posting-Date: 23 Nov 1999 09:14:44 GMT
Newsgroups: comp.lang.ada
Date: 1999-11-23T09:14:44+00:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:

> In GNAT, we have recently added the Restrictions pragma
> 
>   pragma Restrictions (No_Entry_Calls_In_Elaboration_Code);
> 
> This is checked statically by the compiler. [...]

How can you check this statically ? What if elaboration code calls a
procedure in another package whose body has not yet been compiled, and
that procedure in turn makes an entry call ?