module From_compute:sig
..end
Additional control dependencies to add to all modified variables,
coming from the control statements encountered so far (If, Switch).
The statement information is used to remove the dependencies that
are no longer useful, when we reach a statement that post-dominates
the statement that gave rise to the dependency.
module type To_Use =sig
..end
val compute_using_prototype_for_state : Db.Value.state ->
Kernel_function.t ->
Cil_types.identified_term Cil_types.assigns -> Function_Froms.froms
val find_deps_no_transitivity : Db.Value.state -> Cil_types.exp -> Function_Froms.Deps.t
val find_deps_lval_no_transitivity : Db.Value.state -> Cil_types.lval -> Function_Froms.Deps.t
module Make:
exception Call_did_not_take_place