From 6e7ceecbf19d43f1314b82e73c10d35e64a67138 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Tue, 16 Feb 2021 16:12:12 +0100 Subject: [PATCH] [Eva] Eval_op: removes unused functions. --- src/plugins/value/legacy/eval_op.ml | 8 -------- src/plugins/value/legacy/eval_op.mli | 8 -------- 2 files changed, 16 deletions(-) diff --git a/src/plugins/value/legacy/eval_op.ml b/src/plugins/value/legacy/eval_op.ml index 2e8edeb2562..fdbc57dc35b 100644 --- a/src/plugins/value/legacy/eval_op.ml +++ b/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 diff --git a/src/plugins/value/legacy/eval_op.mli b/src/plugins/value/legacy/eval_op.mli index d1c052ac8f0..fce7f5399f4 100644 --- a/src/plugins/value/legacy/eval_op.mli +++ b/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) -- GitLab