sig
type t = From_compute.Make.t'
val bottom : From_compute.Make.t'
val callwise_states_with_formals :
(Kernel_function.t * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t
type substit = Froms of Function_Froms.Deps.t
val cached_substitute :
Function_Froms.Memory.t ->
Locations.Zone.t ->
Function_Froms.Deps.from_deps -> Function_Froms.Deps.from_deps
val display_one_from : Format.formatter -> From_compute.Make.t' -> unit
val pretty : Format.formatter -> From_compute.Make.Computer.t -> unit
val transfer_conditional_exp :
From_compute.ZoneStmtMap.key ->
Cil_types.exp -> From_compute.Make.t' -> From_compute.Make.t'
val join_and_is_included :
From_compute.Make.t' ->
From_compute.Make.t' -> From_compute.Make.t' * bool
val join :
From_compute.Make.t' -> From_compute.Make.t' -> From_compute.Make.t'
val resolv_func_vinfo :
?deps:Locations.Zone.t ->
Cil_types.stmt ->
Cil_types.exp -> Locations.Zone.t * Kernel_function.Hptset.t
val transfer_instr :
Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.instr ->
From_compute.Make.Computer.t -> From_compute.Make.Computer.t
val transfer_guard :
Cil_types.stmt ->
Cil_types.exp ->
From_compute.Make.t' -> From_compute.Make.t' * From_compute.Make.t'
val eliminate_additional :
Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_stmt :
Cil_datatype.Stmt.Hashtbl.key -> t -> (Cil_types.stmt * t) list
val transfer_stmt :
Cil_datatype.Stmt.Hashtbl.key -> t -> (Cil_types.stmt * t) list
val doEdge :
Cil_types.stmt ->
Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_stmt :
Cil_datatype.Stmt.Hashtbl.key ->
From_compute.Make.Computer.t ->
(Cil_types.stmt * From_compute.Make.Computer.t) list
end