// RUN: %clang_analyze_cc1 %s \ | |
// RUN: -analyzer-checker=core \ | |
// RUN: -analyzer-checker=debug.ExprInspection \ | |
// RUN: -verify | |
// Here, we test that symbol simplification in the solver does not produce any | |
// crashes. | |
// expected-no-diagnostics | |
static int a, b; | |
static long c; | |
static void f(int i, int j) | |
{ | |
(void)(j <= 0 && i ? i : j); | |
} | |
static void g(void) | |
{ | |
int d = a - b | (c < 0); | |
for (;;) | |
{ | |
f(d ^ c, c); | |
} | |
} |