proxmox-mirrors/llvm-toolchain
1
0
Fork 0
mirror of https://git.proxmox.com/git/llvm-toolchain synced 2025-06-14 21:10:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Adapt test when llvm is built without Z3 support (error message changed)

Browse Source
This commit is contained in:
Gianfranco Costamagna 2023-04-11 14:07:16 +02:00
parent 24f56dd420
commit 3e2d52cf55
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
debian/qualify-clang.sh vendored
View File

@ -406,7 +406,7 @@ void testBitwiseRules(unsigned int a, int b) {
' > foo.c
clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -analyzer-constraints=z3 foo.c &> foo.log || true
if ! grep -q "LLVM was not compiled with Z3 support" foo.log; then
if ! grep -q "error: analyzer constraint manager 'z3' is only available if LLVM was built with -DLLVM_ENABLE_Z3_SOLVER=ON" foo.log; then
# Should work
clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -verify -analyzer-config eagerly-assume=false -analyzer-constraints=z3 foo.c
clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -analyzer-constraints=z3 foo.c &> foo.log