Module Db.PostdominatorsValue

module PostdominatorsValue: PostdominatorsTypes.Sig 

Postdominators using value analysis results.


val compute : (Cil_types.kernel_function -> unit) Pervasives.ref
val stmt_postdominators : (Cil_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t)
Pervasives.ref
val is_postdominator : (Cil_types.kernel_function ->
opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool)
Pervasives.ref
val display : (unit -> unit) Pervasives.ref
val print_dot : (string -> Cil_types.kernel_function -> unit) Pervasives.ref

Print a representation of the postdominators in a dot file whose name is basename.function_name.dot.