Synopsis: end-of-loop code not reached State-Changed-From-To: open-closed State-Changed-By: marc State-Changed-When: Thu Jun 5 08:31:05 PDT 1997 State-Changed-Why: This is addressed in PR#308. In short, it appears that it is a bogus warning. There is no problem with the code.
