llvm/clang/test/Analysis/z3/pretty-dump.c

// 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)" }
  }
}