------- Comment #3 from  2009-02-20 11:27 -------
(In reply to comment #2)
> You would also need to take into account try/catch blocks. This doesn't
> actually invalidate the assertion (you still can't fall out of the loop), it
> just forces you to be more careful how you read it (you /can/ end up running
> the next line of code after the loop if it is in a catch block) 

Yah, and goto is to be handled as well. I'm just saying the loop will never
naturally fall off its end.


Reply via email to