diff options
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 4 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index 6aeaa833..596a3475 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -67,8 +67,8 @@ StackFrame::~StackFrame() { /***/ ExecutionState::ExecutionState(KFunction *kf) : - pc(kf->instructions), prevPC(pc), + pc(kf->instructions), queryCost(0.), weight(1), @@ -99,8 +99,8 @@ ExecutionState::~ExecutionState() { ExecutionState::ExecutionState(const ExecutionState& state): fnAliases(state.fnAliases), - pc(state.pc), prevPC(state.prevPC), + pc(state.pc), stack(state.stack), incomingBBIndex(state.incomingBBIndex), diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 08eacac1..dc9cacc1 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -636,9 +636,9 @@ static std::string strip(std::string &in) { static void parseArguments(int argc, char **argv) { #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 2) // This version always reads response files - cl::ParseCommandLineOptions(argc, (const char**) argv, " klee\n"); + cl::ParseCommandLineOptions(argc, argv, " klee\n"); #else - cl::ParseCommandLineOptions(argc, (char**) argv, " klee\n", /*ReadResponseFiles=*/ true); + cl::ParseCommandLineOptions(argc, argv, " klee\n", /*ReadResponseFiles=*/ true); #endif } |