clang/test/Analysis/constant-folding-crash.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
   2 // expected-no-diagnostics
   3
   4 namespace bbi_77010 {
   5 int 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