Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:[...]
I think I see what you mean, but in this particular case the loop>
can be proven to terminate unless `i` is modified in the body of
...unless 'i' or 'n' is modified in the body of
Touché.
--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */
Les messages affichés proviennent d'usenet.