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()10int test_taint_dumps() { 11 int x = getchar(); 12 clang_analyzer_printState(); 13 return x; 14 } 15