From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Hx95GBhnJb0Xc8StPhH8AA.user.46.165.242.91.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Custom Storage Pool questions Date: Tue, 14 Sep 2021 09:00:13 +0200 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="7028"; posting-host="Hx95GBhnJb0Xc8StPhH8AA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:62734 List-Id: On 2021-09-14 08:42, J-P. Rosen wrote: > Le 14/09/2021 à 08:23, Dmitry A. Kazakov a écrit : >> Of course, a proper solution would be fixing Ada by adding another >> address attribute: >> >>     X'Object_Address >> >> returning the first address of the object as allocated. > But you cannot assume that the object is allocated as one big chunk. > Bounds can be allocated at a different place. What would be > X'Object_Address in that case? The object address, without bounds, same as X'Address. What Allocate returns is not what A'Address tells. The compiler always knows the difference, the programmer have to know it too. Nothing more. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de