about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutionState.cpp
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2015-04-02 17:52:30 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-04-02 17:52:30 +0100
commit8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 (patch)
tree53b02450645be04004422b6de7fefb6be86c6546 /lib/Core/ExecutionState.cpp
parentd8f69a660f0477abdd20d96b7172113c81940c48 (diff)
downloadklee-8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848.tar.gz
Silenced some compilation warnings.
Diffstat (limited to 'lib/Core/ExecutionState.cpp')
-rw-r--r--lib/Core/ExecutionState.cpp4
1 files changed, 2 insertions, 2 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),