------- Comment #13 from sandra at codesourcery dot com 2010-05-24 13:21 ------- I'm working on a patch that fixes the test case in comment #5 (originally filed as PR 39874) and some other test cases by improving the comparison combination logic in both tree-ssa-ifcombine and tree-ssa-reassoc.
The test case in comment #4 is a somewhat different problem -- maybe it is a VRP failure? The problem is figuring out the right place to attempt to combine the comparisons.... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28685
