summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/InterpreterExpressions.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/InterpreterExpressions.ml b/compiler/InterpreterExpressions.ml
index 8b2070c6..469bebec 100644
--- a/compiler/InterpreterExpressions.ml
+++ b/compiler/InterpreterExpressions.ml
@@ -523,7 +523,10 @@ let eval_binary_op_symbolic (config : C.config) (binop : E.binop)
| E.BitOr ->
assert (int_ty1 = int_ty2);
T.Literal (Integer int_ty1)
- | E.Shl | E.Shr -> raise Unimplemented
+ | E.Shl | E.Shr ->
+ (* The number of bits can be of a different integer type
+ than the operand *)
+ T.Literal (Integer int_ty1)
| E.Ne | E.Eq -> raise (Failure "Unreachable"))
| _ -> raise (Failure "Invalid inputs for binop")
in