Florian Weimer wrote:
Doesn't it eleminate too many checks, even? 8-/
Not that I know of
And, to be absolutely honest, Ada only requires a small subset of all the checks that are required to make pointers completely safe. Once you use 'Unchecked_Access, Unchecked_Deallocation, or GNAT's 'Unrestricted_Access, all bets are off.
Depends on the storage pool used
