[Issue 2678] for loops are already assumed to terminate

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2678





------- Comment #3 from andrei at metalanguage.com  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.


--