Module Dominators

module Dominators: sig .. end
Computation of dominators.

val get_idom : Cil_types.stmt -> Cil_types.stmt option
Immediate dominator of the statement.
val dominates : Cil_types.stmt -> Cil_types.stmt -> bool
dominates a b tells whether a dominates b.