// 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 |