Module From_register.From2


module From2: Make(Db.Value)(Functionwise_From_to_use)(Recording_To_Do)


type t' = {
   additional_deps_table : Locations.Zone.t Cilutil.StmtMap.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 Cilutil.Stack.t

Stack of function being processed
val find_deps_no_transitivity : Cil_types.kinstr -> Cil_types.exp -> Locations.Zone.t
val find_deps_offset_no_transitivity : Cil_types.kinstr -> Cil_types.offset -> Locations.Zone.t
val find_deps_lval_no_transitivity : Cil_types.kinstr -> Cil_types.lval -> Locations.Zone.t
val find_deps : Cil_types.kinstr -> Db_types.from_model -> Cil_types.exp -> Locations.Zone.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.t
val compute_using_prototype_for_state : Db.Value.state -> Kernel_function.t -> Function_Froms.t
val compute_using_prototype : Kernel_function.t -> Function_Froms.t
val compute_and_return : Kernel_function.t -> Function_Froms.t
val compute : Kernel_function.t -> unit