free() on a null pointer is a no-op.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 5 Sep 2004 08:14:23 +0000 (08:14 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 5 Sep 2004 08:14:23 +0000 (08:14 +0000)
commit33b8d7835fa9480a16f1032a61a851f73be83e11
tree08aadeab879a8ad84654f7f4082bbe49bc0af330
parentbd7b9ef5b7b306554f7bc4782a161e4856b34053
free() on a null pointer is a no-op.
src/threads/malloc.c