Module Builtins


module Builtins: sig .. end

val table : (string,
Db.Value.state ->
(Cil_types.exp * Db.Value.t) list ->
Cvalue_type.V_Offsetmap.t option * Db.Value.state *
Locations.Location_Bits.Top_Param.t)
Hashtbl.t
val register_builtin : string ->
(Db.Value.state ->
(Cil_types.exp * Db.Value.t) list ->
Cvalue_type.V_Offsetmap.t option * Db.Value.state *
Locations.Location_Bits.Top_Param.t) ->
unit
val find_builtin : string ->
Db.Value.state ->
(Cil_types.exp * Db.Value.t) list ->
Cvalue_type.V_Offsetmap.t option * Db.Value.state *
Locations.Location_Bits.Top_Param.t
val mem_builtin : string -> bool
val wrap_double : Cvalue_type.V.t -> Cvalue_type.V_Offsetmap.t option
val wrap_int : Cvalue_type.V.t -> Cvalue_type.V_Offsetmap.t option
exception Found_misaligned_base
val frama_C_cos : 'a ->
('b * Cvalue_type.V.t) list ->
Cvalue_type.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t
val frama_C_sqrt : 'a ->
('b * Cvalue_type.V.t) list ->
Cvalue_type.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t
exception Base_aligned_error
val frama_C_is_base_aligned : 'a ->
('b * Cvalue_type.V.t) list ->
Cvalue_type.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t
exception Offset_error
val frama_c_offset : 'a ->
('b * Locations.Location_Bytes.t) list ->
Cvalue_type.V_Offsetmap.t option * 'a * Locations.Location_Bits.Top_Param.t