missing-z3-nocrash.c\Analysis\test\clang - rocket-tools/riscv-gnu-toolchain/llvm.git - Unnamed repository; edit this file 'description' to name the repository.

index : rocket-tools/riscv-gnu-toolchain/llvm.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/clang/test/Analysis/missing-z3-nocrash.c

blob: 698430fffe1a12dd3547976d04bd96c9af07543c (plain)

// RUN: not %clang_analyze_cc1 -analyzer-constraints=z3 %s 2>&1 | FileCheck %s
// REQUIRES: no-z3

// CHECK: error: analyzer constraint manager 'z3' is only available if LLVM
// CHECK: was built with -DLLVM_ENABLE_Z3_SOLVER=ON