From 20dfc1ec0a87c69917b2bf73919e44061bfe1b31 Mon Sep 17 00:00:00 2001 From: Michael McLoughlin Date: Fri, 20 Sep 2024 22:38:35 -0400 Subject: [PATCH] handle mul_bits in bits_coerce_narrow --- libASL/transforms.ml | 1 + 1 file changed, 1 insertion(+) 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