Messages in this thread | | | From | Ingo Oeser <> | Subject | Re: [PATCH] [DISCUSS] Make the variable NULL after freeing it. | Date | Mon, 1 Jan 2007 01:43:00 +0100 |
| |
On Sunday, 31. December 2006 14:38, Bernd Petrovitsch wrote: > That depends on the decision/definition if (so called) "double free" is > an error or not (and "free(NULL)" must work in POSIX-compliant > environments).
A double free of non-NULL is certainly an error. So the idea of setting it to NULL is ok, since then you can kfree the variable over and over again without any harm.
It is just complicated to do this side effect free.
Maybe one should check for builtin-constant and take the address, if this is not an builtin-constant.
sth, like this
#define kfree_nullify(x) do { \ if (__builtin_constant_p(x)) { \ kfree(x); \ } else { \ typeof(x) *__addr_x = &x; \ kfree(*__addr_x); \ *__addr_x = NULL; \ } \ } while (0)
Regards
Ingo Oeser - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |