module StmtStartData: Dataflow2.StmtStartData
with type data = t
For each statement id, the data at the start. Not found in the hash table
means nothing is known about the state at this point. At the end of the
analysis this means that the block is not reachable.
type
data
val clear : unit -> unit
val mem : Cil_types.stmt -> bool
val find : Cil_types.stmt -> data
val replace : Cil_types.stmt -> data -> unit
val add : Cil_types.stmt -> data -> unit
val iter : (Cil_types.stmt -> data -> unit) -> unit
val length : unit -> int