-- | This module defines control flow graphs over the LLVM IR. module LLVM.Analysis.CFG ( -- * Types CFG, HasCFG(..), -- * Constructors controlFlowGraph, -- * Accessors basicBlockPredecessors, basicBlockSuccessors ) where import LLVM.Analysis.CFG.Internal