module Dataflow:sig
..end
type 't
action =
| |
Default |
(* |
The default action
| *) |
| |
Done of |
(* |
Do not do the default action. Use this result
| *) |
| |
Post of |
(* |
The default action, followed by the given
transformer
| *) |
type 't
stmtaction =
| |
SDefault |
(* |
The default action
| *) |
| |
SDone |
(* |
Do not visit this statement or its successors
| *) |
| |
SUse of |
(* |
Visit the instructions and successors of this statement
as usual, but use the specified state instead of the
one that was passed to doStmt
| *) |
type 't
guardaction =
| |
GDefault |
(* |
The default state
| *) |
| |
GUse of |
(* |
Use this data for the branch
| *) |
| |
GUnreachable |
(* |
The branch will never be taken.
| *) |
module type StmtStartData =sig
..end
module StartData:
StmtStartData
components
of the functors below.
module type ForwardsTransfer =sig
..end
module Forwards:
module type BackwardsTransfer =sig
..end
module Backwards:
val find_stmts : Cil_types.fundec -> Cil_types.stmt list * Cil_types.stmt list