| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s | |
| // expected-no-diagnostics | |
| namespace bbi_77010 { | |
| int crash_NE(int rhs, int lhs, int x) { | |
| int band = lhs & rhs; | |
| if (0 <= band) {} | |
| if (rhs > 0) {} | |
| return band != x; // no-crash D112621 | |
| } | |
| } // namespace bbi_77010 |