// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -verify %s \ | |
// RUN: -analyzer-config eagerly-assume=true | |
// expected-no-diagnostics | |
int test(unsigned long a, unsigned long c, int b) { | |
c -= a; | |
if (0 >= b) {} | |
c == b; | |
return c ? 0 : 2; // no-crash | |
} |