------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-13 18:30 ------- Two things, we just don't jump thread. Another testcase: int i; int main() { for (;;) { switch (i) { case 5: i = 4; break; default: return 0; } } }
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20514