Module Db.Dominators

module Dominators: sig .. end
Dominators plugin.
See also internal documentation.

val compute : (Cil_types.kernel_function -> unit) Pervasives.ref
exception Top
Used for Db.Dominators.stmt_dominators when the dominators of a statement cannot be computed. It means that there is no path from the entry point to this statement.
val stmt_dominators : (Cil_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t)
Pervasives.ref
Raises Top (see above)
val is_dominator : (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 dominators in a dot file whose name is basename.function_name.dot.