diff --git a/debian/qualify-clang.sh b/debian/qualify-clang.sh index 1c6f2308..40e052d8 100755 --- a/debian/qualify-clang.sh +++ b/debian/qualify-clang.sh @@ -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