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,699cc914522aa7c4
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news3.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Structured exception information
Date: Tue, 23 Jan 2007 12:10:26 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcchcuhwtx9.fsf@shell01.TheWorld.com>
References: <eog0g5$2bn$1@cernne03.cern.ch> <u7ivnp09z.fsf@stephe-leake.org>
 <eoinoh$855$1@cernne03.cern.ch> <ud55drgzz.fsf@stephe-leake.org>
 <eolaen$b4h$1@cernne03.cern.ch> <ur6trwdov.fsf@stephe-leake.org>
 <eoqhhm$fjp$1@cernne03.cern.ch> <uac0dyap7.fsf@stephe-leake.org>
 <wccfya5u07k.fsf@shell01.TheWorld.com> <umz4c9f2z.fsf@stephe-leake.org>
 <wccr6tot047.fsf@shell01.TheWorld.com> <ubqkqdwnv.fsf@stephe-leake.org>
 <wccejpl7pef.fsf@shell01.TheWorld.com> <ep5b3o$87c$1@cernne03.cern.ch>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1169572228 20292 192.74.137.71 (23 Jan 2007 17:10:28
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Tue, 23 Jan 2007 17:10:28 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:9mfjx1z7hx242CdeVcqBysKHX+g=
Xref: g2news2.google.com comp.lang.ada:8433
Date: 2007-01-23T12:10:26-05:00
List-Id: <comp.lang.ada>

Maciej Sobczak <no.spam@no.spam.com> writes:

> Robert A Duff wrote:
>
>> For that matter, I suppose even "null;" can raise
>> Storage_Error!
>
> AARM 5.1/13:
>
> "The execution of a null_statement has no effect."

But 11.1(6) (which says anything can raise Storage_Error) trumps that.
It also trumps whatever paragraphs explain the semantics of "X := 1;".

- Bob