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 : called_function list Pervasives.ref
val do_degenerate : Cil_types.lval option -> unit
val warn_all_quiet_mode : unit -> CilE.warn_mode