------- Comment #5 from rguenth at gcc dot gnu dot org 2006-07-05 15:12 ------- Visiting statement: window_6 = ASSERT_EXPR <window_1, window_1 < last_7>;
.... ) (res = scev_not_known)) Found new range for window_6: [-INF, last_7 + -1] Simulating statement (from ssa_edges): last_50 = ASSERT_EXPR <last_7, window_6 < last_7>; Visiting statement: last_50 = ASSERT_EXPR <last_7, window_6 < last_7>; .... (res = last_7)) Found new range for last_50: [window_6 + 1, +INF] and over and over and over. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28187