12 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2// expected-no-diagnostics3 4namespace bbi_77010 {5int crash_NE(int rhs, int lhs, int x) {6 int band = lhs & rhs;7 if (0 <= band) {}8 if (rhs > 0) {}9 return band != x; // no-crash D11262110}11} // namespace bbi_7701012