------- Comment #5 from rguenth at gcc dot gnu dot org 2006-03-29 08:01 ------- I thought if we know that we are looking at the loop header copy condition that we _know_ that the loop runs at least once, so we can avoid trying to prove that again using fold.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26900
