http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58915
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- True, it may still help in some cases though. On my list of nice-things-to-have is still a generic predicate collecting & simplification machinery similar to what we have with tree-affine.c. That is collect || && predicates in a vector and simplify / normalize them and solve queries against them, like in this case whether we can derive range information from them.