handle mul_bits in bits_coerce_narrow

UQ-PAC · Sep 21, 2024 · 20dfc1e · 20dfc1e
1 parent 5eaf73c
commit 20dfc1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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