Une boucle pleine peut être transformée en boucle vide par les optimisations, donc cette optimisation ne vire pas seulement les boucles déjà vides à l'écriture.