CHB: reset type analysis per function

Author: sipma

CodeHawk/CHB/bchlib/bCHLibTypes.mli

@@ -3162,6 +3162,8 @@ class type type_constraint_graph_int =
 class type type_constraint_store_int =
   object
 
+    method reset: unit
+
     method add_constraint: type_constraint_t -> unit
 
     method add_var_constraint: type_variable_t -> unit

CodeHawk/CHB/bchlib/bCHTypeConstraintStore.ml

@@ -70,6 +70,15 @@ object (self)
   (* constraints that involve a global variable *)
   val gvartypes = H.create 5
 
+  method reset =
+    begin
+      H.clear store;
+      H.clear functiontypes;
+      H.clear reglhss;
+      H.clear stacklhss;
+      H.clear gvartypes
+    end
+
   method add_constraint (c: type_constraint_t) =
     let index = tcd#index_type_constraint c in
     (* index the constraint *)

CodeHawk/CHB/bchlibarm32/bCHFnARMTypeConstraints.ml

@@ -619,4 +619,7 @@ end
 let  mk_arm_fn_type_constraints
        (store: type_constraint_store_int)
        (fn: arm_assembly_function_int): arm_fn_type_constraints_int =
-  new arm_fn_type_constraints_t store fn
+  begin
+    store#reset;
+    new arm_fn_type_constraints_t store fn
+  end