------- Comment #8 from rguenth at gcc dot gnu dot org 2006-03-29 15:45 ------- Created an attachment (id=11154) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11154&action=view) patch
I have a simple patch for # iterations analysis to check whether either cond1 follows from cond2 or !cond1 follows from cond2. Patch is untested but fixes the testcase. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26900