часто не важно локальная переменная или нет. Если после цикла её значение должно принять константу и компилятор "понимает", что это безусловно для данных условий компиляции, то переменной просто может присвоиться константа одной командой. при локальной и далее неиспользуемой - да - вааще выбросит