From 95ce1601c380341ef3b1043644c66be754e345c0 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Mon, 7 Oct 2019 23:16:22 +0100 Subject: Executor.h: remove defined functions without implementation --- lib/Core/Executor.h | 7 ------- 1 file changed, 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 > &arguments); - void doImpliedValueConcretization(ExecutionState &state, ref e, ref value); -- cgit 1.4.1