mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 17:16:42 +00:00
5048a58a67
Exactly what it says on the tin! We had a nasty crash with the following incovation: $ clang --analyze -Xclang -analyzer-constraints=z3 test.c fatal error: error in backend: LLVM was not compiled with Z3 support, rebuild with -DLLVM_ENABLE_Z3_SOLVER=ON ... <stack trace> ... Differential Revision: https://reviews.llvm.org/D120325
6 lines
227 B
C
6 lines
227 B
C
// 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
|