------- Additional Comments From rakdver at gcc dot gnu dot org 2004-10-08 13:21 ------- This fix should not be necessary (in fact we had the code like this before, but I removed it and replaced it by current solution; the problem with is that it behaves really weird, for example the results are dependent on in which order we process the variables) -- we check for irreducible regions in scev already. Could you check whether the edges are marked as irreducible? If not, this would be the problem.
Zdenek -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17560