Module Builtins_nonfree


module Builtins_nonfree: sig .. end

exception Base_aligned_error
val frama_C_is_base_aligned : 'a ->
('b * Cvalue.V.t * 'c) list ->
Cvalue.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t
exception Offset_error
val frama_c_offset : 'a ->
('b * Locations.Location_Bytes.t * 'c) list ->
Cvalue.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t
exception Memcpy_result of Cvalue.Model.t
val frama_c_memcpy : Cvalue.Model.t ->
(Cil_types.exp * Cvalue.V.z * 'a) list ->
Cvalue.V_Offsetmap.t option * Cvalue.Model.t *
Locations.Location_Bits.Top_Param.t
val frama_c_memset : Cvalue.Model.t ->
(Cil_types.exp * Cvalue.V.z * 'a) list ->
Cvalue.V_Offsetmap.t option * Cvalue.Model.t *
Locations.Location_Bits.Top_Param.t