File 0001-MergeHandler-remove-unused-closedStateCoun... of Package klee

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-MergeHandler-remove-unused-closedStateCount.patch of Package klee (Revision fcc75a63c62ae583cd946efeba7b1f8e)

Currently displaying revision fcc75a63c62ae583cd946efeba7b1f8e , Show latest

From: Jiri Slaby <jirislaby@gmail.com>
Date: Mon, 15 Jan 2018 09:20:32 +0100
Subject: MergeHandler: remove unused closedStateCount
Patch-mainline: no

clang 5 reports:
In file included from ../lib/Core/MergeHandler.cpp:10:
../include/klee/MergeHandler.h:81:12: warning: private field 'closedStateCount' is not used [-Wunused-private-field]
  unsigned closedStateCount;
           ^

So fix it by removing the member.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
---
 include/klee/MergeHandler.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h
index d374e1684036..0c596825e867 100644
--- a/include/klee/MergeHandler.h
+++ b/include/klee/MergeHandler.h
@@ -76,10 +76,6 @@ class MergeHandler {
 private:
   Executor *executor;
 
-  /// @brief Number of states that are tracked by this MergeHandler, that ran
-  /// into a relevant klee_close_merge
-  unsigned closedStateCount;
-
   /// @brief Mapping the different 'klee_close_merge' calls to the states that ran into
   /// them
   std::map<llvm::Instruction *, std::vector<ExecutionState *> >
-- 
2.15.1

Places

File 0001-MergeHandler-remove-unused-closedStateCount.patch of Package klee (Revision fcc75a63c62ae583cd946efeba7b1f8e)

Places