Счётчик цикла никуда по указателю не передаётся и тут это хорошо
видно по исходнику. Оптимизатор имеет право отходить от
педантичного следования стандарту, если это никак не может повлиять
на результат вычислений, и это происходит постоянно.
Это моё личное предвзятое мнение. Любое совпадение с реальностью является случайным и непреднамеренным.