module Compute:
Parameters: |
|
include LatticeDirty
val dirties : Cil_types.stmt -> bool
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