27 lines · c
1// RUN: %clang_analyze_cc1 %s \2// RUN: -analyzer-checker=core \3// RUN: -analyzer-checker=debug.ExprInspection \4// RUN: -verify5 6// Here, we test that symbol simplification in the solver does not produce any7// crashes.8 9// expected-no-diagnostics10 11static int a, b;12static long c;13 14static void f(int i, int j)15{16 (void)(j <= 0 && i ? i : j);17}18 19static void g(void)20{21 int d = a - b | (c < 0);22 for (;;)23 {24 f(d ^ c, c);25 }26}27