Module Loop_analysis

module Loop_analysis: sig .. end

module Loop_Max_Iteration: State_builder.Hashtbl  with type key = stmt
                                                  and type data = int
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
val display_results : unit -> unit