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,591cbead201d7f34
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.germany.com!news.tornevall.net!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Prohibiting dynamic allocation for the given type
Date: Thu, 20 Mar 2008 20:04:06 -0500
Organization: Jacob's private Usenet server
Message-ID: <frv1ii$s56$1@jacob-sparre.dk>
References: 
 <83335709-e099-416b-9967-5ab6aa0aea11@i12g2000prf.googlegroups.com>
 <47E11F35.5000900@obry.net> <frs6e3$fh0$1@jacob-sparre.dk>
 <m2abktcfbo.fsf@mac.com>
 <5cd0d5f9-07b7-46ce-8aca-1d7273f0e164@i12g2000prf.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: jacob-sparre.dk 1206061458 28838 69.95.181.76 (21 Mar 2008 01:04:18
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 21 Mar 2008 01:04:18 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1914
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1914
Xref: g2news1.google.com comp.lang.ada:20521
Date: 2008-03-20T20:04:06-05:00
List-Id: <comp.lang.ada>

"Eric Hughes" <eric.eh9@gmail.com> wrote in message
news:5cd0d5f9-07b7-46ce-8aca-1d7273f0e164@i12g2000prf.googlegroups.com...
> On Mar 20, 2:26 pm, Simon Wright <simon.j.wri...@mac.com> wrote:
> >   type P is access T;
> >   for P'Storage_Size use 0;
> >                 ----
>
> ARM 13.11/18
> > If Storage_Size is specified for an access type, then the Storage_Size
of this pool is at least that requested [...]
>
> Apparently the value of 0 is a minimum, not a maximum nor an exact
> size.

Zero is sort of special; allocators are illegal in that case, see
4.8(5.3/2). That was added by the Amendment so that Pure packages could have
access types but would be guaranteed not to have any allocators. (But it is
more generally useful than that.)

                  Randy.