"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.vpt8agtdule2fv@garhos...
Le Tue, 25 Jan 2011 00:34:34 +0100, Yannick Duch�ne (Hibou57)
<yannick_duchene@yahoo.fr> a �crit:
>> Because storage pools provide no means to check dereferences,
>> GNAT offers a special type of storage pool, called a
>> "checked pool", with an additional abstract primitive
>> operation called Dereference.
>That's an interesting feature indeed, but not standard. How many Ada 
>compiler vendors provides a similar feature ?

Can't answer that, but we did consider adding such a feature to Ada 2012. 
Eventually we decided on a more general purpose user-defined dereferencing 
capability instead.

                          Randy.