1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp
index 90252656..6cb7dd38 100644
--- a/lib/Solver/STPBuilder.cpp
+++ b/lib/Solver/STPBuilder.cpp
@@ -223,6 +223,10 @@ ExprHandle STPBuilder::bvVarLeftShift(ExprHandle expr, ExprHandle amount, unsign
                      bvLeftShift(expr, i, shiftBits),
                      res);
   }
+  res = vc_iteExpr(vc,
+                   vc_bvLtExpr(vc, amount, bvConst32(32, width)),
+                   res,
+                   bvZero(width));
   return res;
 }