sig
type 'a alarm_component =
Emitter.t ->
Cil_types.kernel_function ->
Cil_types.stmt ->
rank:int -> Alarms.alarm -> Cil_types.code_annotation -> 'a -> 'a
type env
type annoth = AnnotAll | AnnotInout
val empty_env : Collect.annoth -> Collect.env
val get_relevant : Collect.env Collect.alarm_component
val should_annotate_stmt : Collect.env -> Cil_types.stmt -> bool
val get_relevant_vars_stmt :
Collect.env ->
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval list
end