Silenced some compilation warnings.

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
 }