| // RUN: %clang_cc1 -analyze -analyzer-constraints=z3 -setup-static-analyzer \ | |
| // RUN: -analyzer-checker=core,debug.ExprInspection %s 2>&1 | FileCheck %s | |
| // | |
| // REQUIRES: z3 | |
| // | |
| // Works only with the z3 constraint manager. | |
| void clang_analyzer_printState(); | |
| void foo(int x) { | |
| if (x == 3) { | |
| clang_analyzer_printState(); | |
| (void)x; | |
| // CHECK: "constraints": [ | |
| // CHECK-NEXT: { "symbol": "(reg_$[[#]]<int x>) == 3", "range": "(= reg_$[[#]] #x00000003)" } | |
| } | |
| } |