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