Wenn die Bedingung der while-Schleife nicht mehr wahr ist, wird mit dem Programm an der Stelle fortgefahren, wo die geschweifte Klammer der while-Abfrage geschlossen wird. In diesem Falle ist das nur noch der Befehl return.
Wenn die Bedingung bereits beim ersten Aufruf der Schleife unwahr ist, wird der Inhalt der Schleife überhaupt nicht ausgeführt.