On 9/2/2011 8:52 AM, Arnaud Charlet wrote: > Thanks! > > In Ada, it's quite natural to end up with a dynamically sized object of > size 0. For instance, if you declare an array with a dynamic bound: > > Table : Unit_Table (1 .. Last_Unit); > > and Last_Unit happens to be 0 at run-time > > Arno But isn't it odd that we would dereference such an address?