... Судя по всему, я, действительно, изобрел велосипед....
Об подобности <for> и <while> инструкций в языке С написано в книжке А.Ахо,Р.Сети,Д.Ульмана "Компиляторы. Принципы, технологии, инструменты." с.94... Так что похоже, что, действительно, при трансляции цикл <for> заменяется на эквивалентный цикл <while>...