1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s 2 // expected-no-diagnostics 3 4 namespace bbi_77010 { crash_NE(int rhs,int lhs,int x)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 D112621 10 } 11 } // namespace bbi_77010 12