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)7int 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