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
val is_postdominator :
( Cil_types.kernel_function ->
opening:Cil_types.stmt ->
closing:Cil_types.stmt ->
bool )
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
.