------- Comment #3 from steven at gcc dot gnu dot org 2007-09-05 12:35 ------- You can connect the exits by inserting fake edges. See add_noreturn_fake_exit_edges and connect_infinite_loops_to_exit. Not sure which one you would need in this case. Just be sure to call it before computing (post)dominator info.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33302
