Frama-C API - Postdominators
Used 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 compute : Frama_c_kernel.Cil_types.kernel_function -> unitval 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 -> boolval print_dot : string -> Frama_c_kernel.Cil_types.kernel_function -> unitPrint a representation of the postdominators in a dot file whose name is basename.function_name.dot.