Du hast recht hinter der If-Abfrage kommt noch eine Endlosschleife.
Wenn die Endlosschleife nach der if-Schleife beginnt, kann sie ja nicht angesprungen werden.