1 // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.security.taint\
2 // RUN:                    -analyzer-checker=debug.ExprInspection %s\
3 // RUN:                                          2>&1 | FileCheck %s
4 
5 void clang_analyzer_printState();
6 int getchar();
7 
8 // CHECK: Tainted symbols:
9 // CHECK-NEXT: conj_$2{{.*}} : 0
test_taint_dumps()10 int test_taint_dumps() {
11   int x = getchar();
12   clang_analyzer_printState();
13   return x;
14 }
15