23 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -w \2// RUN: -analyzer-config crosscheck-with-z3=true -verify %s3// REQUIRES: z34 5// Previously these tests were crashing because the SMTConv layer did not6// comprehend the _BitInt types.7 8void clang_analyzer_warnIfReached();9 10void c(int b, _BitInt(35) a) {11 int d = 0;12 if (a)13 b = d;14 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}15}16 17void f(int *d, _BitInt(3) e) {18 int g;19 d = &g;20 e ?: 0;21 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}22}23