[Eva] Eval_op: removes unused functions.

src/plugins/value/legacy/eval_op.ml

@@ -39,14 +39,6 @@ let offsetmap_of_loc location state =
   in
   Precise_locs.fold aux location `Bottom
 
-let wrap_int i = Some (offsetmap_of_v ~typ:Cil.intType i)
-let wrap_ptr p = Some (offsetmap_of_v ~typ:Cil.intPtrType p)
-let wrap_double d = Some (offsetmap_of_v ~typ:Cil.doubleType d)
-let wrap_float d = Some (offsetmap_of_v ~typ:Cil.floatType d)
-let wrap_size_t i =
-  Some (offsetmap_of_v ~typ:(Cil.theMachine.Cil.typeOfSizeOf) i)
-let wrap_long_long i = Some (offsetmap_of_v ~typ:Cil.longLongType i)
-
 let v_uninit_of_offsetmap ~typ offsm =
   let size = Eval_typ.sizeof_lval_typ typ in
   match size with

src/plugins/value/legacy/eval_op.mli

@@ -33,14 +33,6 @@ val offsetmap_of_v: typ:Cil_types.typ -> V.t -> V_Offsetmap.t
 val offsetmap_of_loc:
   Precise_locs.precise_location -> Model.t -> V_Offsetmap.t Eval.or_bottom
 
-(** Specialization of the function above for standard types *)
-val wrap_size_t: V.t -> V_Offsetmap.t option
-val wrap_int: V.t -> V_Offsetmap.t option
-val wrap_ptr: V.t -> V_Offsetmap.t option
-val wrap_double: V.t -> V_Offsetmap.t option
-val wrap_float: V.t -> V_Offsetmap.t option
-val wrap_long_long: V.t -> V_Offsetmap.t option
-
 val backward_comp_left_from_type:
   logic_type ->
   (bool -> Abstract_interp.Comp.t -> Cvalue.V.t -> Cvalue.V.t -> Cvalue.V.t)