module Value_util:sig
..end
val get_rounding_mode : unit -> Ival.Float_abstract.rounding_mode
type
called_function = {
|
called_kf : |
|
call_site : |
|
called_merge_current : |
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