Frama_c_kernel.LoopOperations on (natural) loops.
val is_natural : Cil_types.kernel_function -> Cil_types.stmt -> boolval get_naturals :
Cil_types.kernel_function ->
Cil_types.stmt list Cil_datatype.Stmt.Map.tval is_non_natural : Cil_types.kernel_function -> Cil_types.stmt -> boolval get_non_naturals : Cil_types.kernel_function -> Cil_datatype.Stmt.Set.tval back_edges :
Cil_types.kernel_function ->
Cil_types.stmt ->
Cil_types.stmt listStatements that are the origin of a back-edge to a natural loop.