module F_Proj:
Parameters: |
|
typet_mark =
C.M.t
typet_fct =
(C.M.t, C.M.t_call_info) PdgIndex.FctIndex.t
typet =
t_fct_info Cilutil.VarinfoHashtbl.t
val empty : t_fct_info Cilutil.VarinfoHashtbl.t
val find_marks : F.t Cilutil.VarinfoHashtbl.t ->
Cilutil.VarinfoHashtbl.key -> F.t_idx option
val mark_and_propagate : F.t Cilutil.VarinfoHashtbl.t ->
Db.Pdg.t -> F.t_mark PdgMarks.t_select -> unit