Module Loop_analysis

module Loop_analysis: sig .. end

module Loop_Max_Iteration: Cil_state_builder.Stmt_hashtbl(Datatype.Int)(sig

val size : int
val name : string
val dependencies : State.t list
end)

val add_loop_bound : Cil_datatype.Stmt.t -> Loop_Max_Iteration.data -> unit

module type BINARY_SEMILATTICE = sig .. end

module Binary: sig .. end

module Store: sig .. end

module Generic: sig .. end

val analyze : Kernel_function.t -> unit