[llvm-commits] [klee] r72518 - in /klee/trunk: include/klee/Solver.h lib/Core/TimingSolver.h lib/Expr/Parser.cpp

[Cristian Cadar]

Author: cristic
Date: Thu May 28 00:29:24 2009
New Revision: 72518

URL: http://llvm.org/viewvc/llvm-project?rev=72518&view=rev
Log:
Small changes to silence some gcc warnings.

Modified:
    klee/trunk/include/klee/Solver.h
    klee/trunk/lib/Core/TimingSolver.h
    klee/trunk/lib/Expr/Parser.cpp

Modified: klee/trunk/include/klee/Solver.h
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/include/klee/Solver.h?rev=72518&r1=72517&r2=72518&view=diff

==============================================================================
--- klee/trunk/include/klee/Solver.h (original)
+++ klee/trunk/include/klee/Solver.h Thu May 28 00:29:24 2009
@@ -65,7 +65,7 @@
 
   public:
     Solver(SolverImpl *_impl) : impl(_impl) {};
-    ~Solver();
+    virtual ~Solver();
 
     /// evaluate - Determine the full validity of an expression in particular
     /// state.
@@ -158,6 +158,8 @@
     /// \param useForkedSTP - Whether STP should be run in a separate process
     /// (required for using timeouts).
     STPSolver(bool useForkedSTP);
+
+    
     
     /// getConstraintLog - Return the constraint log for the given state in CVC
     /// format.

Modified: klee/trunk/lib/Core/TimingSolver.h
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Core/TimingSolver.h?rev=72518&r1=72517&r2=72518&view=diff

==============================================================================
--- klee/trunk/lib/Core/TimingSolver.h (original)
+++ klee/trunk/lib/Core/TimingSolver.h Thu May 28 00:29:24 2009
@@ -37,7 +37,7 @@
     TimingSolver(Solver *_solver, STPSolver *_stpSolver, 
                  bool _simplifyExprs = true) 
       : solver(_solver), stpSolver(_stpSolver), simplifyExprs(_simplifyExprs) {}
-    ~TimingSolver() {
+    virtual ~TimingSolver() {
       delete solver;
     }
 

Modified: klee/trunk/lib/Expr/Parser.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Expr/Parser.cpp?rev=72518&r1=72517&r2=72518&view=diff

==============================================================================
--- klee/trunk/lib/Expr/Parser.cpp (original)
+++ klee/trunk/lib/Expr/Parser.cpp Thu May 28 00:29:24 2009
@@ -22,6 +22,7 @@
 #include <cassert>
 #include <iostream>
 #include <map>
+#include <cstring>
 
 using namespace llvm;
 using namespace klee;