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 
test(unsigned long a,unsigned long c,int b)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 }
13