No, the loop won't exit even if [ undef ] or [ 0 ] is returned.

It isn't supposed to. The loop exists when you return undef to stop the loop. Read carefully :) Dumb, non-question: How to return 'nothing'.