PostdominatorsSourceUsed for postdominators-related functions, when the postdominators of a statement cannot be computed. It means that there is no path from this statement to the function return.
val stmt_postdominators :
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_datatype.Stmt.Hptset.tval is_postdominator :
Frama_c_kernel.Cil_types.kernel_function ->
opening:Frama_c_kernel.Cil_types.stmt ->
closing:Frama_c_kernel.Cil_types.stmt ->
boolPrint a representation of the postdominators in a dot file whose name is basename.function_name.dot.