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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,bf2571446148ae30
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.205.136.10 with SMTP id ii10mr2243696bkc.7.1325725604347;
        Wed, 04 Jan 2012 17:06:44 -0800 (PST)
MIME-Version: 1.0
Path: 
 cj8ni46376bkb.0!nntp.google.com!news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Can't set executable stack size during compilation
Date: Wed, 4 Jan 2012 19:06:40 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <je2t32$20h$1@munin.nbi.dk>
References: <ce6c46af-03e5-43bf-aa62-e7415061cf64@n6g2000vbg.googlegroups.com>
 <4f047e0f$0$6582$9b4e6d93@newsspool3.arcor-online.net>
 <CB2A3B6A.DD62%yaldnif.w@blueyonder.co.uk>
 <4f04c66c$0$6625$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1325725602 2065 69.95.181.76 (5 Jan 2012 01:06:42 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 5 Jan 2012 01:06:42 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-01-04T19:06:40-06:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <rm-host.bauhaus@maps.futureapps.de> wrote in message 
news:4f04c66c$0$6625$9b4e6d93@newsspool2.arcor-online.net...
> On 1/4/12 6:22 PM, Bill Findlay wrote:
>> On 04/01/2012 16:27, in article
>> 4f047e0f$0$6582$9b4e6d93@newsspool3.arcor-online.net, "Georg Bauhaus"
>> <rm.dash-bauhaus@futureapps.de>  wrote:
>>>
>>> FWIW, I made a little test program; I think it is legal
>>
>> It's not legal, of course: it fetches unassigned variables,
>
> I had though that variables not assigned (uninitialized?)
> won't be the subject of legality rules (and would otherwise
> have to be rejected during compilation or post-compilation)?
>
> If the program did perform I/O, its executions is likely
> to have error, yes.

Formally, an "illegal" program is one that fails a Legality Rule, and those 
are checked at compile-time.

I suspect that Bill has being more informal, but even then, an Ada program 
can use an uninitialized value without the program being bad (erroneous); 
doing so might only be a bounded error and may not raise any exception at 
all depending on what is actually done. ("Invalid" values are allowed so 
long as they are not used to do array indexing and some other things.)

                                   Randy.