Extended Description

Consider this test code:

bool f(int x) {
return x == 42 || x != 13;
}

bool g(int x) {
return x == 42 || x > 13;
}

Both of these contain trivially subsumed cases in an ||. I think Clang should be able to at least warn on these in ||s and &&s when the expressions are integral type comparisons that we can easily analyze.