Class Nonterm_run.dead_cc_collector

class dead_cc_collector : Kernel_function.t -> object .. end
Inherits
val reachable : Cil_datatype.Stmt.Hptset.t Pervasives.ref
val dead_ccs : Cil_datatype.Stmt.Hptset.elt list list Pervasives.ref
val cur_cc : Cil_datatype.Stmt.Hptset.elt list Pervasives.ref
method get : Cil_datatype.Stmt.Hptset.elt list list
method vstmt : Cil_datatype.Stmt.Hptset.elt -> Cil_types.stmt Cil.visitAction