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