module Postdominators: sig
.. end
Postdominators plugin.
See also internal documentation.
val compute : (Db_types.kernel_function -> unit) Pervasives.ref
exception Top
val stmt_postdominators : (Db_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Set.t)
Pervasives.ref
Raises Top
(see above)
val is_postdominator : (Db_types.kernel_function ->
opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool)
Pervasives.ref
val display : (unit -> unit) Pervasives.ref
val print_dot : (string -> Db_types.kernel_function -> unit) Pervasives.ref
Print a representation of the postdominators in a dot file
which name is basename.function_name.dot
.