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