Fixed #3686: false positive: Possible null pointer dereference (inconclusive)