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=unavailable autolearn_force=no version=3.4.4
Path: 
 buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.glorb.com!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Date: Mon, 06 Jul 2015 14:16:03 +0000
From: Matthias-Christian Ott <ott@mirix.org>
User-Agent: Mozilla/5.0 (X11; Linux i686;
 rv:31.0) Gecko/20100101 Icedove/31.7.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Dynamic allocation in the predefined language environment
References: <559a623d$0$293$14726298@news.sunsite.dk>
 <873811cre5.fsf@theworld.com>
In-Reply-To: <873811cre5.fsf@theworld.com>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Message-ID: <559a8d12$0$297$14726298@news.sunsite.dk>
Organization: SunSITE.dk - Supporting Open source
NNTP-Posting-Host: 149.222.160.108
X-Trace: news.sunsite.dk
 DXC=o0L9cXOH=>[60aK5>0M0DVYSB=nbEKnk[kEDgFbcTNF]?QB<NW[Fj6V@2>B4OQc1?^9S2C>Lo?V]_h5eYG[kWaEX3T[TB6]0PR^
X-Complaints-To: staff@sunsite.dk
Xref: number.nntp.giganews.com comp.lang.ada:193944
Date: 2015-07-06T14:16:03+00:00
List-Id: <comp.lang.ada>

On 06/07/15 14:06, Bob Duff wrote:
> Matthias-Christian Ott <ott@mirix.org> writes:
>> ...I suppose most implementations will
>> raise a Storage_Error exception but the standard does not specify how
>> the packages are to implemented so a program could simply crash and
>> would still conform to the standard.
> 
> No, running out of memory raises Storage_Error.  The implementation
> cannot "simply crash".

It could be implemented in C or assembly language and than it could
definitely crash. The point is: If the standard specifies how to
implement a package, you have to assume anything when reasoning about
the correctness of code.

- Matthias-Christian