about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorHoang M. Le <hle@informatik.uni-bremen.de>2016-06-10 13:14:25 +0200
committerHoang M. Le <hle@informatik.uni-bremen.de>2016-06-10 13:14:25 +0200
commitc1bb097114960ef56bbd459ca1a00352f147a028 (patch)
tree3976ffb6d91263fcb7c014c81f491f887dd14f51
parent463b861613ebca834d833ec5ccedbf4500b98b52 (diff)
downloadklee-c1bb097114960ef56bbd459ca1a00352f147a028.tar.gz
remove now unused getShiftBits()
-rw-r--r--lib/Solver/MetaSMTBuilder.h10
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index 6dce13e1..7134b023 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -145,15 +145,6 @@ private:
     typename SolverContext::result_type constructMulByConstant(typename SolverContext::result_type expr, unsigned width, uint64_t x);
     typename SolverContext::result_type constructUDivByConstant(typename SolverContext::result_type expr_n, unsigned width, uint64_t d);
     typename SolverContext::result_type constructSDivByConstant(typename SolverContext::result_type expr_n, unsigned width, uint64_t d);
-    
-    unsigned getShiftBits(unsigned amount) {
-        unsigned bits = 1;
-        amount--;
-        while (amount >>= 1) {
-            bits++;
-        }
-        return(bits);
-    }
 };
 
 template<typename SolverContext>
@@ -298,7 +289,6 @@ typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructAShr
 template<typename SolverContext>
 typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructMulByConstant(typename SolverContext::result_type expr, unsigned width, uint64_t x) {
     
-    unsigned shiftBits = getShiftBits(width);
     uint64_t add, sub;
     typename SolverContext::result_type res;
     bool first = true;