clang/test/Analysis/PR50268.c

   1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=core -verify %s \
   2 // RUN:    -analyzer-config eagerly-assume=true
   3
   4 // expected-no-diagnostics
   5
   6
   7 int test(unsigned long a, unsigned long c, int b) {
   8   c -= a;
   9   if (0 >= b) {}
  10   c == b;
  11   return c ? 0 : 2; // no-crash
  12 }