comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: What is X'Address of an empty array?
Date: Tue, 31 May 2022 14:19:24 +0200	[thread overview]
Message-ID: <t7514c$11tj$1@gioia.aioe.org> (raw)

I have a language lawyering question. According to ARM X'Address is the 
address of the first array element. What is the address of empty array?

In the case of an array with bounds it could be the address following 
the bounds.

But what about a definite empty array? Of zero length (and presumably 
zero size). Would the compiler have to invent some address?

P.S. With GNAT:

    type NUL is array (1..0) of Integer;
    S : NUL;

S'Size is 8 and it has some address that holds the byte.

Talking about the dark matter in our Universe. This is what empty arrays 
are constructed of! (:-))

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

             reply	other threads:[~2022-05-31 12:19 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-05-31 12:19 Dmitry A. Kazakov [this message]
2022-05-31 21:35 ` What is X'Address of an empty array? Randy Brukardt
2022-06-01 12:49   ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox