about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2018-09-19 11:03:52 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-09-20 21:36:09 +0100
commitc05a0dc1d61187b3ac95c56b0d660731946218fd (patch)
treea1e0f040c77851021224c62d45500a7f5e261236
parenta6a7b8c7dab4afccc22cc54bf9682713f60c6fcb (diff)
downloadklee-c05a0dc1d61187b3ac95c56b0d660731946218fd.tar.gz
Silence an uninitialized variable compiler warning (and a tiny formatting change)
-rw-r--r--lib/Solver/Z3Solver.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/Z3Solver.cpp b/lib/Solver/Z3Solver.cpp
index 3eaa8c85..72a15c50 100644
--- a/lib/Solver/Z3Solver.cpp
+++ b/lib/Solver/Z3Solver.cpp
@@ -58,7 +58,7 @@ private:
                          const std::vector<const Array *> *objects,
                          std::vector<std::vector<unsigned char> > *values,
                          bool &hasSolution);
-bool validateZ3Model(::Z3_solver &theSolver, ::Z3_model &theModel);
+  bool validateZ3Model(::Z3_solver &theSolver, ::Z3_model &theModel);
 
 public:
   Z3SolverImpl();
@@ -210,7 +210,7 @@ char *Z3SolverImpl::getConstraintLog(const Query &query) {
 }
 
 bool Z3SolverImpl::computeTruth(const Query &query, bool &isValid) {
-  bool hasSolution;
+  bool hasSolution = false; // to remove compiler warning
   bool status =
       internalRunSolver(query, /*objects=*/NULL, /*values=*/NULL, hasSolution);
   isValid = !hasSolution;