Module Functionwise.From

module From: From_compute.Make(Value_local)(Functionwise_From_to_use)(Recording_To_Do)

type t' = {
   additional_deps_table :Locations.Zone.t Cil_datatype.Stmt.Map.t; (*Additional dependencies to add to all modified variables. Example: variables in the condition of an IF.*)
   additional_deps :Locations.Zone.t; (*Union of the sets in StmtMap.t*)
   deps_table :Lmap_bitwise.From_Model.t; (*dependency table*)
}
val call_stack : Kernel_function.t Stack.t

Stack of function being processed
val find_deps : Cil_types.stmt ->
Lmap_bitwise.From_Model.t -> Cil_types.exp -> Locations.Zone.t
Computation of the dependencies on an expression, but recursive dependencies are resolved using the value of type Lmap_bitwise.From_Model.t.
module Computer: 
functor (REACH : sig
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool
val blocks_closed_by_edge : Cil_types.stmt -> Cil_types.stmt -> Cil_types.block list
end) -> sig .. end
val compute_using_cfg : Kernel_function.t -> Function_Froms.froms
val compute_using_prototype : Kernel_function.t -> Function_Froms.froms
val compute_and_return : Kernel_function.t -> Function_Froms.t
Compute the dependencies of the given function, and return them

Compute the dependencies of the given function

val compute : Kernel_function.t -> unit