------- Comment #5 from law at redhat dot com 2006-06-04 22:32 ------- Someone who understands SCEV really needs to fix it. It's been a consistent source of problems for VRP -- whether it's giving us bogus ranges (ranges outside the given type) or claiming variables do not wrap when in fact they do wrap (IIRC there's still an outstanding PR due to this problem).
If someone were to fix the SCEV problem touched by pr 25900, then the offending VRP code could be eliminated. Jeff -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27865
