Fixed #4723 (False positive: Pure virtual call within conditional clause)