------- Comment #11 from rguenth at gcc dot gnu dot org 2006-03-30 22:25 ------- Note that the patch for 23855 will only help for invariant conditions in the loop header, while the problem exists also for non-invariant ones. So, as Danny notes, SCEV should be improved to maybe handle this case.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26939