1 // RUN: %clang_analyze_cc1 -analyzer-checker=core %s \
2 // RUN: -triple x86_64-pc-linux-gnu -verify
3
4 // don't crash
5 // expected-no-diagnostics
6
7 int a, b;
c(void)8 int c(void) {
9 unsigned d = a;
10 --d;
11 short e = b / b - a;
12 ++e;
13 return d <= 0 && e && e;
14 }
15