module Computer: functor (
Param
:
sig
end
) ->
sig
.. end
Parameters: |
Param |
: |
sig val states : Ctx.t end
|
|
val name : string
val debug : bool
val used_stmts : Cil_types.stmt list Pervasives.ref
val add_used_stmt : Cil_types.stmt -> unit
val get_and_reset_used_stmts : unit -> Cil_types.stmt list
type
t = Zones.Data.t
val pretty : Format.formatter -> Locations.Zone.t -> unit
module StmtStartData: sig
.. end
val combineStmtStartData : 'a -> old:Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t option
val combineSuccessors : Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t
val doStmt : 'a -> 'b Dataflow2.action
val doInstr : Cil_types.stmt ->
Cil_types.instr -> Locations.Zone.t -> Locations.Zone.t Dataflow2.action
val filterStmt : 'a -> 'b -> bool
val funcExitData : Locations.Zone.t