From 3be107cbf55f69f063795182690a5f9689e1d805 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 7 Nov 2013 14:59:37 +0000 Subject: Fixed overshift of logical right shift by constant so that it overshifts to zero. Test case is included. --- lib/Solver/STPBuilder.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Solver/STPBuilder.h') diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h index 828c267d..48bddeed 100644 --- a/lib/Solver/STPBuilder.h +++ b/lib/Solver/STPBuilder.h @@ -101,7 +101,7 @@ private: //logical left and right shift (not arithmetic) ExprHandle bvLeftShift(ExprHandle expr, unsigned shift); - ExprHandle bvRightShift(ExprHandle expr, unsigned amount, unsigned shiftBits); + ExprHandle bvRightShift(ExprHandle expr, unsigned shift); ExprHandle bvVarLeftShift(ExprHandle expr, ExprHandle shift); ExprHandle bvVarRightShift(ExprHandle expr, ExprHandle shift); ExprHandle bvVarArithRightShift(ExprHandle expr, ExprHandle amount, unsigned width); -- cgit 1.4.1