Fixed #5082 (False positive: (error) Possible null pointer dereference: p2)