[caf]

It's been defined ever since the original ANSI C, which said this in the definition of free():

  If ptr is a null pointer, no action occurs.