Fixed #5657 (false positive: (error) Possible null pointer dereference: p)