module Collect:sig
..end
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 : annoth -> env
val get_relevant : env alarm_component
val should_annotate_stmt : env -> Cil_types.stmt -> bool
val get_relevant_vars_stmt : env ->
Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.lval list