| 1 | // RUN: %clang_analyze_cc1 -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 | clang_analyzer_dump(x + (-1)); // expected-warning{{(reg_$0<int x>) + -1}} |
|---|
| 12 | int y = 1; |
|---|
| 13 | clang_analyzer_printState(); |
|---|
| 14 | for (; y < 3; ++y) |
|---|
| 15 | clang_analyzer_numTimesReached(); // expected-warning{{2}} |
|---|
| 16 | } |
|---|
| 17 | |
|---|
| 18 | // CHECK: Store (direct and default bindings) |
|---|
| 19 | // CHECK-NEXT: (y,0,direct) : 1 S32b |
|---|
| 20 | |
|---|
| 21 | // CHECK: Expressions by stack frame: |
|---|
| 22 | // CHECK-NEXT: #0 Calling foo |
|---|
| 23 | // CHECK-NEXT: clang_analyzer_printState : &code{clang_analyzer_printState} |
|---|
| 24 | |
|---|
| 25 | // CHECK: {{(Ranges are empty.)|(Constraints:[[:space:]]*$)}} |
|---|
| 26 | |
|---|