Module Frama_c_kernel.Loop

Operations on (natural) loops.

val is_natural : Cil_types.kernel_function -> Cil_types.stmt -> bool
val is_non_natural : Cil_types.kernel_function -> Cil_types.stmt -> bool

Statements that are the origin of a back-edge to a natural loop.