class reused_lval :
object
.. end
Inherits
val found : (found * Cil_datatype.Stmt.t) list HLV.t
val hstmt : [ `Assert of Cil_types.lval
| `Read of Cil_types.lval
| `Write of Cil_types.lval ] Cil_datatype.Stmt.Hashtbl.t
val hlv : Cil_types.varinfo HLV.t
method instrument : Project.t
method private add : Cil_types.lval -> found * Cil_datatype.Stmt.t -> unit
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method private is_scalar : Cil_types.lval -> bool
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction