------- Comment #7 from rakdver at gcc dot gnu dot org 2006-02-09 23:52 ------- There is no simple way how scev could determine that x == i at the end of loop (unless we insert something like ASSERT_EXPRs at the condition). Persuading dom and VRP not to perform this transformation would probably be much easier.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23821
