From 3e2d52cf556984d631e64e44d898d376616f97b6 Mon Sep 17 00:00:00 2001 From: Gianfranco Costamagna Date: Tue, 11 Apr 2023 14:07:16 +0200 Subject: [PATCH] Adapt test when llvm is built without Z3 support (error message changed) --- debian/qualify-clang.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/qualify-clang.sh b/debian/qualify-clang.sh index 9aa443da..d6cafb77 100755 --- a/debian/qualify-clang.sh +++ b/debian/qualify-clang.sh @@ -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