Module Value_util


module Value_util: sig .. end

val get_rounding_mode : unit -> Ival.Float_abstract.rounding_mode

type called_function = {
   called_kf : Db_types.kernel_function;
   call_site : Cil_types.kinstr;
   called_merge_current : degenerate:bool -> unit;
}
val call_stack : unit -> called_function list
val call_stack_for_callbacks : (Db_types.kernel_function * Cil_types.kinstr) list Pervasives.ref
val do_degenerate : Cil_types.lval option -> unit
val warn_all_quiet_mode : unit -> CilE.warn_mode
val pretty_actuals : Format.formatter -> ('a * Cvalue_type.V.z * 'b) list -> unit
val pretty_call_stack : Format.formatter -> called_function list -> unit
val clear_call_stack : unit -> unit
val pop_call_stack : unit -> unit
val push_call_stack : called_function -> unit
val current_kf : unit -> Db_types.kernel_function
val call_stack : unit -> called_function list
val for_callbacks_stack : unit -> (Db_types.kernel_function * Cil_types.kinstr) list