Class Nonterm_run.unreachable_stmt_visitor

class unreachable_stmt_visitor : Kernel_function.t -> Cil_datatype.Stmt.Hptset.t -> object .. end
Inherits
val semantically_unreachable : Cil_datatype.Stmt.Hptset.elt list Pervasives.ref
method get : Cil_datatype.Stmt.Hptset.elt list
val syntactically_reachable : Cil_datatype.Stmt.Hptset.t
val semantically_considered : Cil_datatype.Stmt.Hptset.t Pervasives.ref
method vstmt : Cil_datatype.Stmt.Hptset.elt -> Cil_types.stmt Cil.visitAction