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