Module Datascope.InitSid

module InitSid: sig .. end

A place to map each data to the state of statements that modify it.

module LM: Lmap_bitwise.Make_bitwise(Datascope.StmtSetLattice)

type t = LM.t

val empty : LM.t

val find : LM.t -> Locations.Zone.t -> LM.v

val add_zone : exact:bool ->
       LM.t ->
       Locations.Zone.t -> Datascope.StmtSetLattice.O.elt -> LM.t

val test_and_merge : LM.t ->
       LM.t -> LM.t option

val pretty : Format.formatter -> LM.t -> unit