test/Analysis/expr-inspection.c

   1 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.ExprInspection -verify %s 2>&1 | FileCheck %s
   2
   3 // Self-tests for the debug.ExprInspection checker.
   4
   5 void clang_analyzer_dump(int x);
   6 void clang_analyzer_printState();
   7 void clang_analyzer_numTimesReached();
   8
   9 void foo(int x) {
  10   clang_analyzer_dump(x); // expected-warning{{reg_$0<int x>}}
  11   int y = 1;
  12   clang_analyzer_printState();
  13   for (; y < 3; ++y)
  14     clang_analyzer_numTimesReached(); // expected-warning{{2}}
  15 }
  16
  17 // CHECK: Store (direct and default bindings)
  18 // CHECK-NEXT: (y,0,direct) : 1 S32b
  19
  20 // CHECK: Expressions:
  21 // CHECK-NEXT: clang_analyzer_printState : &code{clang_analyzer_printState}
  22 // CHECK-NEXT: Ranges are empty.