module AvailableExps: sig
.. end
val name : string
val debug : bool Pervasives.ref
type
t = Cil_types.exp Availexpslv.LvExpHash.t
module StmtStartData: Dataflow.StartData
(
sig
end
)
val copy : 'a Availexpslv.LvExpHash.t -> 'a Availexpslv.LvExpHash.t
val pretty : Format.formatter -> Cil_types.exp Availexpslv.LvExpHash.t -> unit
val computeFirstPredecessor : 'a -> 'b -> 'b
val combinePredecessors : Cil_types.stmt ->
old:t ->
t -> Cil_types.exp Availexpslv.LvExpHash.t option
val doInstr : 'a ->
Cil_types.instr ->
'b -> Cil_types.exp Availexpslv.LvExpHash.t Dataflow.action
val doStmt : 'a -> 'b -> 'c Dataflow.stmtaction
val doGuard : 'a -> 'b -> 'c -> 'd Dataflow.guardaction * 'e Dataflow.guardaction
val filterStmt : 'a -> bool
val stmt_can_reach : 'a -> 'b -> bool
val doEdge : 'a -> 'b -> 'c -> 'c