From a8093670b227372485c0c3eb4fe12f1ea3383435 Mon Sep 17 00:00:00 2001 From: Gianfranco Costamagna Date: Sat, 20 Mar 2021 16:23:03 +0100 Subject: [PATCH] Don't hard fail on z3 failures with "set -e" at the begin, if z3 support is not available we do fail and exit testsuite without checking the log --- 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 06caff38..976c31b1 100755 --- a/debian/qualify-clang.sh +++ b/debian/qualify-clang.sh @@ -386,7 +386,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 +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 # 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