[PeCaN]

Dereferencing a null pointer is undefined behavior. free() on NULL is defined to be a no-op.