about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2019-10-07 23:16:22 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-10-08 14:54:40 +0100
commit95ce1601c380341ef3b1043644c66be754e345c0 (patch)
tree6bd6f15b20f72d65b6b5b3447a8b3975ecfff1b6 /lib
parent18c600a2068939642adaf7d88002602f927e737d (diff)
downloadklee-95ce1601c380341ef3b1043644c66be754e345c0.tar.gz
Executor.h: remove defined functions without implementation
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.h7
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index c3111713..26f99b57 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -243,9 +243,6 @@ private:
   
   void executeInstruction(ExecutionState &state, KInstruction *ki);
 
-  void printFileLine(ExecutionState &state, KInstruction *ki,
-                     llvm::raw_ostream &file);
-
   void run(ExecutionState &initialState);
 
   // Given a concrete object in our [klee's] address space, add it to 
@@ -459,10 +456,6 @@ private:
   /// constant values.
   void bindInstructionConstants(KInstruction *KI);
 
-  void handlePointsToObj(ExecutionState &state, 
-                         KInstruction *target, 
-                         const std::vector<ref<Expr> > &arguments);
-
   void doImpliedValueConcretization(ExecutionState &state,
                                     ref<Expr> e,
                                     ref<ConstantExpr> value);