Extend IntToBits narrowing to track types for variables

UQ-PAC · Jul 22, 2024 · e1de2f4 · e1de2f4
1 parent f5a1f78
commit e1de2f4
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/libASL/transforms.ml b/libASL/transforms.ml
@@ -1097,7 +1097,13 @@ module IntToBits = struct
     method! vstmt s =
       match s with
       | Stmt_ConstDecl(ty, nm, _, _) ->
-        var_types <- Bindings.add nm ty var_types;
+          var_types <- Bindings.add nm ty var_types;
+          DoChildren
+      | Stmt_VarDecl(ty, nm, _, _) ->
+          var_types <- Bindings.add nm ty var_types;
+          DoChildren
+      | Stmt_VarDeclsNoInit(ty, [nm], _) ->
+          var_types <- Bindings.add nm ty var_types;
         DoChildren
       | _ -> DoChildren