Fixed #5542 (False positive: Mismatching allocation and deallocation)