Re: User Defined Storage Pool : did you ever experiment with it ?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 25 Jan 2011 00:34:34 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:
>> GNAT.Debug_Pools can also give false warnings when
>> dereferencing a pointer to aliased data on the stack
>> (which was never allocated via a “new” operator, but was
>> accessed via an ‘Access attribute).
> How can a storage pool catch dereferencing ?
OK, I found. This is GNAT specific. I am currently reading a paper whose  
link to was posted by Dick Creanest (in this same thread), and it says:

> 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 ?

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]