Re: Gem 39 - compiler specific?

["Randy Brukardt" <randy@rrsoftware.com>]

"Adam Beneschan" <adam@irvine.com> wrote in message 
news:1bf4b63a-1e2d-41f1-97c6-8324d4b829ff@z3g2000prd.googlegroups.com...
...
> However, one could make that case that if you declare a pool-specific
> access type, then by definition it should point to something that's in
> a pool; and that if you want an access that could point to an
> arbitrary address (as Access_To_Address_Conversions would let you do),
> you should use a general access type.

I'd go further than that: it is a bug to have a pool-specific access type 
pointing at something outside of the pool. Indeed, Janus/Ada will raise 
Constraint_Error when dereferencing a value outside of the standard pool 
(for access types using the standard pool). [That was a feature of our Ada 
83 compiler that we carried over to Ada 95, since it caught a lot of bugs 
caused by Unchecked_Deallocation and from corrupted I/O.]

                                        Randy.