sig
val stmt_can_reach :
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt -> bool
val stmt_can_reach_filtered :
(Cil_types.stmt -> bool) -> Cil_types.stmt -> Cil_types.stmt -> bool
val stmt_is_in_cycle : Cil_types.stmt -> bool
val stmt_is_in_cycle_filtered :
(Cil_types.stmt -> bool) -> Cil_types.stmt -> bool
val reachable_stmts :
Cil_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t
val get_stmt_stmts : Cil_types.stmt -> Cil_datatype.Stmt.Set.t
val get_block_stmts : Cil_types.block -> Cil_datatype.Stmt.Set.t
val get_all_stmt_last_stmts : Cil_types.stmt -> Cil_types.stmt list
val get_all_block_last_stmts : Cil_types.block -> Cil_types.stmt list
val get_stmt_last_stmts :
Cil_types.termination_kind option ->
Cil_types.stmt -> Cil_types.stmt list
val get_block_last_stmts :
Cil_types.termination_kind option ->
Cil_types.block -> Cil_types.stmt list
val get_stmt_in_edges :
Cil_types.stmt -> (Cil_types.stmt * Cil_types.stmt) list
val get_block_in_edges :
Cil_types.block -> (Cil_types.stmt * Cil_types.stmt) list
val get_all_stmt_out_edges :
Cil_types.stmt -> (Cil_types.stmt * Cil_types.stmt) list
val get_all_block_out_edges :
Cil_types.block -> (Cil_types.stmt * Cil_types.stmt) list
val loop_preds :
Cil_types.stmt -> Cil_types.stmt list * Cil_types.stmt list
end