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

Reduce the string comparison for z3 support

Browse Source
This commit is contained in:
Gianfranco Costamagna 2020-10-01 15:19:43 +02:00
parent 30965153cd
commit 92c48ba3c1
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

@ -387,7 +387,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
if ! grep -q "fatal error: error in backend: LLVM was not compiled with Z3 support, rebuild with -DLLVM_ENABLE_Z3_SOLVER=ON" foo.log; then
if ! grep -q "LLVM was not compiled with Z3 support" 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