module DataflowArg: sig
.. end
val debug : bool
val name : string
module StmtStartData: Dataflow2.StartData
(
sig
end
)
type
t = Eval_slevel.Computer.diff
val copy : t -> t
val pretty : Format.formatter -> t -> unit
val computeFirstPredecessor : Cil_types.stmt -> Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff
val combinePredecessors : Cil_types.stmt ->
old:Eval_slevel.Computer.diff ->
Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff option
val doInstr : Cil_types.stmt ->
Cil_types.instr ->
t -> t
val doStmt : Cil_types.stmt ->
t ->
Eval_slevel.Computer.diff Dataflow2.stmtaction
val doEdge : Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.stmt -> Eval_slevel.Computer.diff -> Eval_slevel.Computer.diff
val doGuard : Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.exp ->
Eval_slevel.Computer.diff ->
Eval_slevel.Computer.diff Dataflow2.guardaction *
Eval_slevel.Computer.diff Dataflow2.guardaction