sig
module type RemoveInfo =
sig
exception EraseAssigns
exception EraseAllocation
type proj
type fct
val fct_info :
Filter.RemoveInfo.proj ->
Cil_types.kernel_function -> Filter.RemoveInfo.fct list
val fct_name : Cil_types.varinfo -> Filter.RemoveInfo.fct -> string
val param_visible : Filter.RemoveInfo.fct -> int -> bool
val body_visible : Filter.RemoveInfo.fct -> bool
val loc_var_visible :
Filter.RemoveInfo.fct -> Cil_types.varinfo -> bool
val inst_visible : Filter.RemoveInfo.fct -> Cil_types.stmt -> bool
val label_visible :
Filter.RemoveInfo.fct -> Cil_types.stmt -> Cil_types.label -> bool
val annotation_visible :
Filter.RemoveInfo.fct ->
Cil_types.stmt -> Cil_types.code_annotation -> bool
val fun_precond_visible :
Filter.RemoveInfo.fct -> Cil_types.predicate -> bool
val fun_postcond_visible :
Filter.RemoveInfo.fct -> Cil_types.predicate -> bool
val fun_variant_visible :
Filter.RemoveInfo.fct -> Cil_types.term -> bool
val fun_frees_visible :
Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool
val fun_allocates_visible :
Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool
val fun_assign_visible :
Filter.RemoveInfo.fct ->
Cil_types.identified_term Cil_types.from -> bool
val fun_deps_visible :
Filter.RemoveInfo.fct -> Cil_types.identified_term -> bool
val called_info :
Filter.RemoveInfo.proj * Filter.RemoveInfo.fct ->
Cil_types.stmt ->
(Cil_types.kernel_function * Filter.RemoveInfo.fct) option
val res_call_visible : Filter.RemoveInfo.fct -> Cil_types.stmt -> bool
val result_visible :
Cil_types.kernel_function -> Filter.RemoveInfo.fct -> bool
val cond_edge_visible :
Filter.RemoveInfo.fct -> Cil_types.stmt -> bool * bool
end
module F :
functor (Info : RemoveInfo) ->
sig val build_cil_file : string -> Info.proj -> Project.t end
end