La dernière, 0.95 bêta.
Ce que tu dis fonctionne presque correctement en -Os, sauf que si la valeur initiale est constante il y a une instruction branch inutile vers le test de sortie entre l'initialisation et le début de la boucle (inutile puisqu'on sait que la valeur initiale est non nulle et donc que la boucle est forcément exécutée au moins une fois).
Cette instruction disparaît en -O et en -O2.