[Bug tree-optimization/26304] [4.2 Regression] 25_algorithms/prev_permutation/1.cc on powerpc{64,}-linux and powerpc-darwin

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2006-02-17 03:37 
-------
Hmm, I wonder if the following loop in scev_probably_wraps_p is wrong.

  estimate_numbers_of_iterations_loop (loop);
  for (bound = loop->bounds; bound; bound = bound->next)
    if (proved_non_wrapping_p (at_stmt, bound, type, valid_niter))
      return false;

it says that if one bounds does not wrap, then all variables asked about don't
which is not true.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26304