"break" statements

[Peter da Silva]

> In theory, he should.  The objection to break and return
> from the middle of a block is that there are then multiple
> exits from the block.  This makes it more difficult to
> establish clean termination conditions and loop invariants
> for verifying the correctness of the code.  Of course, few
> C programmers worry about this!  :-)

Generally because it's not practical to prove code correct in large
scale applications. In fact it's hard to apply many computer science
techniques in large scale applications. This is extremely unfortunate,
but until CS people start using real-world problems as the basis of
their theories it will remain true.
-- 
Name: Peter da Silva
Graphic: `-_-'
UUCP: ...!shell!{graffiti,baylor}!peter
IAEF: ...!kitty!baylor!peter