module BackwardScope: functor (
X
:
sig
end
) ->
sig
.. end
Parameters: |
X |
: |
sig val modified : stmt -> bool end
|
|
val name : string
val debug : bool
module StmtStartData: Datascope.States
type
t = StmtStartData.data
val pretty : Format.formatter -> Datascope.State.t -> unit
val combineStmtStartData : 'a -> old:Datascope.State.t -> Datascope.State.t -> Datascope.State.t option
val combineSuccessors : Datascope.State.t -> Datascope.State.t -> Datascope.State.t
val doStmt : 'a -> 'b Dataflow2.action
val doInstr : Cil_types.stmt ->
'a -> Datascope.State.t -> Datascope.State.t Dataflow2.action
val filterStmt : 'a -> 'b -> bool
val funcExitData : Datascope.State.t