[clang] Handle __declspec() attributes in using
[llvm-project.git] / clang / test / Analysis / symbol-simplification-bo-div.c
blob122ad4083b1dfc0b020b8875cef8b039adac70ab
1 // RUN: %clang_analyze_cc1 -analyzer-checker=core %s \
2 // RUN: -triple x86_64-pc-linux-gnu -verify
4 // don't crash
5 // expected-no-diagnostics
7 int a, b;
8 int c(void) {
9 unsigned d = a;
10 --d;
11 short e = b / b - a;
12 ++e;
13 return d <= 0 && e && e;