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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Date: Mon, 06 Jul 2015 14:43:08 +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> <559a8d12$0$297$14726298@news.sunsite.dk>
 <mne2u2$k4b$1@dont-email.me>
In-Reply-To: <mne2u2$k4b$1@dont-email.me>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Message-ID: <559a936c$0$292$14726298@news.sunsite.dk>
Organization: SunSITE.dk - Supporting Open source
NNTP-Posting-Host: 149.222.160.108
X-Trace: news.sunsite.dk
 DXC=;OcPDQ?6FW=jd^7_dR6Ih5YSB=nbEKnk;KYaf4:2H0c2?QB<NW[Fj66@2>B4OQc1?>9S2C>Lo?V]?h5eYG[kWaE8KAlGjgRf[j1
X-Complaints-To: staff@sunsite.dk
Xref: news.eternal-september.org comp.lang.ada:26640
Date: 2015-07-06T14:43:08+00:00
List-Id: <comp.lang.ada>

On 06/07/15 14:23, G.B. wrote:
> On 06.07.15 16:16, Matthias-Christian Ott wrote:
>> 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.
> 
> It could be written in C or assembly, but then if it crashed
> on out of memory, it is not an implementation. (I'll trust
> co-author of the Ada LRM, Bob Duff, on this.)

Then to finish this discussion: If it is required to raise
Storage_Error, then it should be in the standard. There are only a
handful of Ada compilers which most likely all raise Storage_Error but I
think the history of C shows that if there is an ambiguity in the
standard, both compiler writers and software developers will interpret
it differently, so that both different compilers and the assumptions of
software developers about these compilers will differ.

- Matthias-Christian