module From:From_compute.Make
(
Value_local
)
(
Functionwise_From_to_use
)
(
Recording_To_Do
)
type
t' = {
|
additional_deps_table : |
(* | Additional dependencies to add to all modified variables. Example: variables in the condition of an IF. | *) |
|
additional_deps : |
(* | Union of the sets in StmtMap.t | *) |
|
deps_table : |
(* | dependency table | *) |
val call_stack : Kernel_function.t Stack.t
val find_deps : Cil_types.stmt ->
Lmap_bitwise.From_Model.t -> Cil_types.exp -> Locations.Zone.t
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
val compute : Kernel_function.t -> unit