class deadCallsVisitor :InheritsFormat.formatter -> syntactic:Cil_datatype.Varinfo.Set.t -> semantic:Cil_datatype.Varinfo.Set.t -> (Cil_types.varinfo * Cil_types.init) list ->
object
..end
val mutable current_initializer : Cil_types.varinfo option
method private reached_vi : Cil_datatype.Varinfo.Set.elt -> unit
method vvrbl : Cil_datatype.Varinfo.Set.elt -> Cil_types.varinfo Cil.visitAction
method compute_and_print : unit