diff --git a/libASL/transforms.ml b/libASL/transforms.ml index 6ad4318..0c19759 100644 --- a/libASL/transforms.ml +++ b/libASL/transforms.ml @@ -1188,6 +1188,7 @@ module IntToBits = struct (match name_of_FIdent f with | "add_bits" -> ChangeDoChildrenPost (narrow_args (), fun x -> Expr_Slices (x, [sl])) | "sub_bits" -> ChangeDoChildrenPost (narrow_args (), fun x -> Expr_Slices (x, [sl])) + | "mul_bits" -> ChangeDoChildrenPost (narrow_args (), fun x -> Expr_Slices (x, [sl])) | _ -> ChangeDoChildrenPost (narrow inner, fun x -> Expr_Slices (x, [sl])) ) | _ -> DoChildren