From 3eb19a64cbe86160263054473a60265575f15558 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 28 Apr 2020 22:29:16 +0200
Subject: [PATCH] Removed inline suppression, it was not a FP, use #ifdef
 differently

---
 lib/exprengine.cpp | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp
index 0aef3bc22..12ee6a510 100644
--- a/lib/exprengine.cpp
+++ b/lib/exprengine.cpp
@@ -1252,15 +1252,10 @@ static ExprEngine::ValuePtr executeAssign(const Token *tok, Data &data)
     return assignValue;
 }
 
-// cppcheck-suppress constParameter ; false positive
-static void checkContract(Data &data, const Token *tok, const Function *function, const std::vector<ExprEngine::ValuePtr> &argValues)
-{
-    (void)data;
-    (void)tok;
-    (void)function;
-    (void)argValues;
 
 #ifdef USE_Z3
+static void checkContract(Data &data, const Token *tok, const Function *function, const std::vector<ExprEngine::ValuePtr> &argValues)
+{
     ExprData exprData;
     z3::solver solver(exprData.context);
     try {
@@ -1330,8 +1325,8 @@ static void checkContract(Data &data, const Token *tok, const Function *function
                                          false);
         data.errorLogger->reportErr(errmsg);
     }
-#endif
 }
+#endif
 
 static ExprEngine::ValuePtr executeFunctionCall(const Token *tok, Data &data)
 {
@@ -1373,7 +1368,9 @@ static ExprEngine::ValuePtr executeFunctionCall(const Token *tok, Data &data)
         const std::string &functionName = tok->astOperand1()->function()->fullName();
         const auto contractIt = data.settings->functionContracts.find(functionName);
         if (contractIt != data.settings->functionContracts.end()) {
+#ifdef USE_Z3
             checkContract(data, tok, tok->astOperand1()->function(), argValues);
+#endif
         } else if (!argValues.empty()) {
             bool bailout = false;
             for (const auto v: argValues)