strange code in mem-pool.h

[Corin Langosch <corinl@xxxxxx>]

Hi all,

while working on my second patch I wonder about this peace of code in
mem-pool.h:

#define FREE(ptr)                \
    if (ptr != NULL) {            \
        free ((void *)ptr);        \
        ptr = (void *)0xeeeeeeee;    \
    }                     

Why is the pointer not set to NULL?

Corin