From 8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 2 Apr 2015 17:52:30 +0100
Subject: Silenced some compilation warnings.

---
 lib/Core/ExecutionState.cpp | 4 ++--
 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
 }
 
-- 
cgit 1.4.1