const llvm::DenseMap< const Stmt *, const CFGBlock * > & getStmtToBlock() const
Returns a mapping from statements to basic blocks that contain them.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Holds CFG and other derived context that is needed to perform dataflow analysis.
static llvm::Expected< ControlFlowContext > build(const Decl *D, Stmt *S, ASTContext *C)
Builds a ControlFlowContext from an AST node.
const CFG & getCFG() const
Returns the CFG that is stored in this context.