Fixed #5467 (False positive incorrectly claiming use after erase)