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!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Bug in GNAT? - Max_size_in_storage_elements insufficient
Date: Tue, 18 Oct 2016 14:35:15 +0200
Organization: Aioe.org NNTP Server
Message-ID: <nu54u2$2uq$1@gioia.aioe.org>
References: <nu50ch$1q33$1@gioia.aioe.org>
NNTP-Posting-Host: vZYCW951TbFitc4GdEwQJg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:32119
Date: 2016-10-18T14:35:15+02:00
List-Id: <comp.lang.ada>

On 18/10/2016 13:17, Vratislav Podzimek wrote:

> Or am I missing something?

A storage pool requires additional space to organize its structure and 
maintain its state. Depending on the method it is usually impossible to 
estimate the exact number of object  the pool may hold. It depends on 
the individual sizes of the objects, the history of object's allocation 
and deallocation, the history of claiming the memory for the parts of 
the pool from the OS (a pool can be segmented).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de