------- Comment #22 from rguenth at gcc dot gnu dot org 2006-07-13 08:28 ------- For practical purposes (determining the loop runs at least once) it needs to duplicate the exit condition. Which happens to be difficult here, as there are multiple loop exits.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28364
