sig
val name : string
val debug : bool Pervasives.ref
type t
val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
val stmtStartData : Dataflow.ForwardsTransfer.t Inthash.t
val pretty : unit -> Dataflow.ForwardsTransfer.t -> Pretty.doc
val computeFirstPredecessor :
Cil.stmt -> Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
val combinePredecessors :
Cil.stmt ->
old:Dataflow.ForwardsTransfer.t ->
Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
val doInstr :
Cil.instr ->
Dataflow.ForwardsTransfer.t ->
Dataflow.ForwardsTransfer.t Dataflow.action
val doStmt :
Cil.stmt ->
Dataflow.ForwardsTransfer.t ->
Dataflow.ForwardsTransfer.t Dataflow.stmtaction
val doGuard :
Cil.exp ->
Dataflow.ForwardsTransfer.t ->
Dataflow.ForwardsTransfer.t Dataflow.guardaction
val filterStmt : Cil.stmt -> bool
end