module Slevel_analysis: sig
.. end
module Needs_Merge_After_Loop: Kernel_function.Make_Table
(
Datatype.Bool
)
(
sig
val size : int
val name : string
val dependencies : State.t list
end
)
module Suggested_Slevel: Kernel_function.Make_Table
(
Datatype.Integer
)
(
sig
val size : int
val name : string
val dependencies : State.t list
end
)
module Functions_With_Unknown_Loop: Kernel_function.Make_Table
(
Datatype.Bool
)
(
sig
val size : int
val name : string
val dependencies : State.t list
end
)
val max_slevel_encountered : Integer.t Stdlib.ref
val update_max_slevel_encountered : Integer.t option -> unit
type
path_bound = Integer.t option
module Specific: functor (
KF
:
sig
val kf : Kernel_function.t
end
) ->
sig
.. end
module SpecificNoBranches: functor (
KF
:
sig
val kf : Kernel_function.t
end
) ->
sig
.. end
module type M' = Region_analysis_stmt.M
with
type abstract_value = path_bound * Cil_types.stmt
val analyze : ?nobranches:bool -> Kernel_function.t -> unit
val cmp_kf_by_name : Kernel_function.t -> Kernel_function.t -> int
val display_results : unit -> unit