------- Comment #7 from law at redhat dot com 2006-02-07 20:03 ------- With today's changes we thread the "break" edge out of the loop. We could still do better.
Basically we need to realize that bytes can never have the value zero when we hit the loop test "while (toread != 0)". Once we realize that, then we'd know that the test (if bytes == 0) has a known result on all paths reaching the conditional. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21559
