[Eva] Removes function Bottom.of_list: inlines it in Trace_partitioning.smashed.

src/kernel_services/abstract_interp/bottom.ml

@@ -134,11 +134,6 @@ let to_list = function
   | `Bottom  -> []
   | `Value v -> [v]
 
-let of_list = function
-  | [] -> `Bottom
-  | [v] -> `Value v
-  | _ -> assert false
-
 let bot_of_list = function
   | [] -> `Bottom
   | l  -> `Value l

src/kernel_services/abstract_interp/bottom.mli

@@ -69,7 +69,6 @@ module Bound_Lattice
 
 (** Conversion functions. *)
 val to_list: 'a or_bottom -> 'a list
-val of_list: 'a list -> 'a or_bottom
 val bot_of_list: 'a list -> 'a list or_bottom
 val list_of_bot: 'a list or_bottom -> 'a list
 val all: 'a or_bottom list -> 'a list

src/plugins/value/engine/trace_partitioning.ml

@@ -38,10 +38,6 @@ struct
 
   module Domain = Abstract.Dom
 
-  let smash_states = function
-    | [] -> []
-    | v1 :: l -> [ List.fold_left Domain.join v1 l ]
-
   module Index = Partitioning.Make (Domain)
   module Flow = Partition.MakeFlow (Abstract)
 
@@ -125,7 +121,9 @@ struct
     Partition.to_list s.store_partition
 
   let smashed (s : store) : state or_bottom =
-    Bottom.of_list (smash_states (expanded s))
+    match expanded s with
+    | [] -> `Bottom
+    | v1 :: l -> `Value (List.fold_left Domain.join v1 l)
 
   let contents (f : flow) : state list =
     Flow.to_list f.flow_states