id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	blockedby	blocking	branch_state	votes
2036	Redundant NULL checks before free()	pavlinux		"Redundant NULL checks before free()


ANSI-C Standard:
----------------
The ANSI standard ANSI X3.159-1989 ""Programming Language C."" 
specifies that free(NULL) is a no op. 

---------

""free deallocates the space pointed to by p: it does nothing if p is NULL.""

Quoted from ""The C Programming Language"" 
second edition by Kernighan and Ritchie with the subtitle ""ANSI C"".

------------

 B. Kernighan and D. Ritchie, ""Programming Language C"", 
Second edition. ISBN 5-8459-0891-4
Chapter 8.7 ""Example - Memory Allocator"", page 197, 2 line from the bottom :)

 ""... if the pointer is NULL, creates releases list of free blocks.
 It contains one block of size zero, and points back to itself ""

------------

"	defect	closed	trivial		mc-core	master	wontfix					no branch