Module type PostdominatorsTypes.Sig

val compute : ( Cil_types.kernel_function -> unit ) Stdlib.ref
val stmt_postdominators : ( Cil_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t ) Stdlib.ref
  • raises Top

    (see above)

val is_postdominator : ( Cil_types.kernel_function -> opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool ) Stdlib.ref
val display : ( unit -> unit ) Stdlib.ref
val print_dot : ( string -> Cil_types.kernel_function -> unit ) Stdlib.ref

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