From 13091a1b308ff3bdac3f56f9981474f96c39e3d3 Mon Sep 17 00:00:00 2001 From: Gianfranco Costamagna Date: Sat, 4 Jan 2020 08:51:45 +0100 Subject: [PATCH] Do not run z3 tests if z3 support is not enabled --- debian/qualify-clang.sh | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/debian/qualify-clang.sh b/debian/qualify-clang.sh index f16c6c15..e0757e2a 100755 --- a/debian/qualify-clang.sh +++ b/debian/qualify-clang.sh @@ -148,8 +148,12 @@ void testBitwiseRules(unsigned int a, int b) { clang_analyzer_eval((b | -2) >= 0); // expected-warning{{FALSE}} } ' > foo.c -# 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 +if dpkg -l|grep -q libz3-dev; 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 +else + echo "z3 support not available" +fi # Should fail clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -verify -analyzer-config eagerly-assume=false foo.c &> foo.log || true @@ -158,10 +162,14 @@ if grep -q "File a.c Line 7: UNKNOWN" foo.log; then exit 1 fi -clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -analyzer-constraints=z3 foo.c &> foo.log -if ! grep -q "2 warnings generated." foo.log; then - echo "Should find 2 warnings" - exit 1 +if dpkg -l|grep -q libz3-dev; then + clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection -analyzer-constraints=z3 foo.c &> foo.log + if ! grep -q "2 warnings generated." foo.log; then + echo "Should find 2 warnings" + exit 1 + fi +else + echo "z3 support not available" fi clang-$VERSION -cc1 -analyze -analyzer-constraints=range -analyzer-checker=core,debug.ExprInspection foo.c &> foo.log