Functor Mem_lvalue.Compute

module Compute: 
functor (X : sig
val kf : Cil_types.kernel_function
val lv : Cil_types.lval
val locs : (found * Cil_types.stmt) list
end) -> sig .. end
Parameters:
X : sig val kf: kernel_function val lv: lval val locs: (found * stmt) list end

include LatticeDirty
val dirties : Cil_types.stmt -> bool
Does the evaluation of stmt modifies the eventual value of X.lv?
val reads : Cil_datatype.Stmt.t -> bool
val writes : Cil_datatype.Stmt.t -> bool
val transfer_stmt : Cil_datatype.Stmt.t -> t -> (Cil_types.stmt * t) list
val init : (Cil_types.stmt * t) list