Fixed #4539 (False positive: Possible null pointer dereference)