[llvm-commits] [klee] r72518 - in /klee/trunk: include/klee/Solver.h lib/Core/TimingSolver.h lib/Expr/Parser.cpp
Cristian Cadar
cristic at cs.stanford.edu
Wed May 27 22:29:52 PDT 2009
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;
More information about the llvm-commits
mailing list