Рискну предположить, что значение переменной после выхода из цикла стало равно 2 :) Ибо при разборе кода на низком уровне получаем инкремент на 1 и условный переход по метке, а если бы там было присвоение - цикл бы просто не выполнился, выбросив ошибку компилирования.