Class Nonterm_run.dead_cc_collector

class dead_cc_collector : Kernel_function.t -> object .. end
Inherits
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