You're right, 'free' will check for NULL (beware uninitialized pointers though, not the case here).