Re: Allocators and memory reclamation

On Tue, 29 Jan 2008 12:06:19 +0100, Grein, Christoph (Fa. ESG) wrote:

Dmitry wrote:

In my understanding Deallocate is just not called. One can enforce this
behavior when there is GC by applying the pragma Controlled, but not the
reverse.

No, just the reverse, pragma Controlled prevents automatic garbage
collection, see RM 13.11.3(1).

Yes, that is what I meant

type My_Type_Ptr is access ...;
pragma Controlled (My_Type_Ptr); -- No Deallocate ever implicitly called

Without the pragma it isn't called anyway, but it could be if there were GC
present.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
.