will never terminate, even though $y is set to zero each time, because it's set to 1 immediately before the condition of the while statement is evaluated.

Yep, one would want to use redo there, in that case.