module Loop_analysis:sig
..end
Loop
exports functions related to the estimation of loop iteration bounds.
val analyze : Kernel_function.t -> unit
val get_bounds : Cil_types.stmt -> int option
val fold_bounds : (Cil_types.stmt -> int -> 'a -> 'a) -> 'a -> 'a