class unreachable_stmt_visitor :InheritsKernel_function.t -> Cil_datatype.Stmt.Hptset.t ->
object
..end
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