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