Fixed #4405 (False positive: Memory in freed twice (throw))