13 lines · c
1// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -verify %s \2// RUN: -analyzer-config eagerly-assume=true3 4// expected-no-diagnostics5 6 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-crash12}13