Re: Boehm-Demers-Weiser conservative garbage collector and GNAT

[Kilgallen@SpamCop.net (Larry Kilgallen)]

In article <slrnbeu1ht.big.randhol+abuse@kiuk0152.chembio.ntnu.no>, Preben Randhol <randhol+abuse@pvv.org> writes:
> Ludovic Brenta wrote:
>> Correct, but this IMHO would the programmer's fault, not GCC's.  The
>> ARM (13.11.1) says that implementations may provide GC at their
>> option; I suppose that portable programs must be aware of this and
>> always use Free, no matter what, in order to work on all
>> implementations.  It is trivial for a GC-enabled implementation to
>> provide a no-op version of Free.  Also, appropriate use of pragma
>> Controlled could be required.
> 
> So in effect the GC would only be a bonus to prevent memory leaks due to
> errors in the program?

It would be a way to spend overhead to make up for a lack of cleanup
in the programming.