------- Comment #2 from  2009-02-20 10:52 -------
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) 


Reply via email to