Module `Cfg_dataflow.Backward`

Parameters

module D : Cfg_dataflow.Domain_S

module T : Cfg_dataflow.Backward_transfer with type domain = D.t

Signature

type domain = D.t

type error = T.error

type context = T.context

type _ map =

| Block : domain Label.Tbl.t map
| Instr : domain InstructionId.Tbl.t map
| Both : (domain InstructionId.Tbl.t * domain Label.Tbl.t) map

val run : 
  Cfg.t ->
  ?max_iteration:int ->
  ?exnescape:domain ->
  init:domain ->
  map:'a map ->
  context ->
  ('a, error) Cfg_dataflow.Dataflow_result.t

Module Cfg_dataflow.Backward

Parameters

Signature

Module `Cfg_dataflow.Backward`