clang/test/Analysis/taint-dumps.c

   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(void);
   6 int getchar(void);
   7
   8 // CHECK: Tainted symbols:
   9 // CHECK-NEXT: conj_$2{{.*}} : 0
  10 int test_taint_dumps(void) {
  11   int x = getchar();
  12   clang_analyzer_printState();
  13   return x;
  14 }