------- Comment #9 from rguenth at gcc dot gnu dot org 2006-12-28 12:14 ------- The testcase in comment #1 is fixed by comparison canonicalization of i <= j - 1 to i < j. Of course it fails again if we use a temporary for j - 1 like in the testcases in other comments.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25145
