Translate shl overshifts into 0

The other shift operators still need to be changed
august782 · Feb 14, 2014 · 3160935 · 3160935
1 parent d2f1684
commit 3160935
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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;
 }