Frama-C API - Cvalue_offsetmap
Auxiliary functions on cvalue offsetmaps, used by the cvalue domain.
val offsetmap_of_assignment : Frama_c_kernel.Cvalue.Model.t -> Eva_ast.exp -> (Frama_c_kernel.Precise_locs.precise_location, Frama_c_kernel.Cvalue.V.t) Eval.assigned -> Frama_c_kernel.Cvalue.V_Offsetmap.tComputes the offsetmap for an assignment:
- in case of a copy, extracts the offsetmap from the state;
- otherwise, translates the value assigned into an offsetmap.