Une boucle qui ne se termine pas n'est presque jamais une boucle sans condition d'arrêt. C'est presque toujours une boucle dont la condition d'arrêt ne peut pas être atteinte.
La situation
Un compteur part de 0 et avance de 2 à chaque tour. La boucle s'arrête quand il vaut exactement 7.
Objectif
Dire ce que cette boucle fait, puis ce que la même boucle fait avec une comparaison d'inégalité.
La règle de diagnostic
Devant une boucle qui ne rend pas la main, regarder la quantité testée et se poser deux questions : progresse-t-elle à chaque tour, et peut-elle atteindre la valeur cherchée ? Un compteur pair ne vaudra jamais un nombre impair, et l'égalité stricte transforme cette impossibilité en boucle infinie. Une comparaison d'inégalité résiste, parce qu'elle attrape la première valeur qui dépasse au lieu d'exiger une coïncidence exacte.