[m-users.] MR_GC_free ?

[Zoltan Somogyi]

On 2023-11-08 05:48 +11:00 AEDT, "Volker Wysk" <post at volker-wysk.de> wrote:
> Hi.
> 
> In the ODBC library, there's space allocated by MR_GC_NEW and explicitly
> freed with MR_GC_free. This confuses me. Shouldn't space allocated by
> MR_CG_NEW be deallocated by the garbage collector? If it is to be
> deallocated explicitly, shouldn't the space be allocated by MR_NEW and be
> deallocated by MR_free?

Follow the definition of MR_GC_free in runtime/mercury_memory.h
to boehm_gc/include/gc.h.

Zoltan.