Fixed #4652 (False positive: variable value tracking into loop body)