CFG构建前必须做好三件事：启用完整语义分析（Sema阶段）、使用Clang内置CFG类而非手动拼接、正确配置BuildOptions（如PruneTriviallyFalseEdges和IncludeImplicitDestructors）。
CFG 构建前必须做好的三件事
直接解析 AST 或源码生成 CFG 会失败，因为控制流依赖语义信息。C++ 的 if、for、goto、异常处理、短路求值、模板实例化甚至隐式转换都会影响基本块边界和边的连接。你得先拿到带控制流语义的中间表示——最现实的选择是用 Clang 的 CFG 类（clang::CFG），它已内置在前端中，能正确处理所有 C++ 特性。
关键点：
- 不能手动从 Token 或 AST 节点拼接 CFG：缺少可达性分析、循环归约、异常路径合并等逻辑
- Clang 的
CFG不是“静态语法图”，它包含TryStmt的异常边、CXXTryStmt的 cleanup 边、ObjCAtSynchronizedStmt的隐式跳转等 - 构建前需确保编译动作启用完整语义分析（即走完
Sema阶段），否则CFG构建会返回空或崩溃
用 Clang API 获取函数的 CFG 对象
Clang 提供了 CFG::buildCFG() 接口，但调用方式和生命周期管理极易出错。常见错误是传入未完成语义检查的 Decl*，或在 ASTContext 生命周期外访问 CFG。
典型安全调用流程：
立即学习“C++免费学习笔记（深入）”；
- 确保你的
ASTUnit或CompilerInstance已完成ParseAndAnalyze - 从
FunctionDecl*获取Body（getCompoundStmtBody()），再传给CFG::buildCFG() - 显式指定
CFG::BuildOptions：至少设PruneTriviallyFalseEdges = true（否则死代码块仍保留）和IncludeImplicitDestructors = true（C++ 析构调用必须建边） -
CFG对象由std::shared_ptr管理，不要缓存裸指针；它内部持有对ASTContext的引用，不可跨上下文传递
示例片段（非完整可编译代码，仅示意调用链）：
auto *FD = /* your FunctionDecl* */; auto *Body = FD->getBody(); auto Options = CFG::BuildOptions(); Options.PruneTriviallyFalseEdges = true; Options.IncludeImplicitDestructors = true; std::shared_ptr<CFG> cfg = CFG::buildCFG(FD, Body, &FD->getASTContext(), Options);
遍历基本块时别忽略这四类特殊块
Clang 的 CFGBlock 类型远不止“普通语句块”。直接按 begin()/end() 迭代所有块，但访问每个块内容前必须判断其 getBlockID() 和 getTerminator()，否则会 crash 或漏路径。
重点关注：
-
CFGBlock::IsEntry块：ID 为 0，无前驱，但可能有多个后继（如虚函数表初始化分支） -
CFGBlock::IsExit块：ID 最大，无后继，但可能被多个块指向（正常 return、异常 throw、longjmp） -
CFGBlock::Filter块：只含一个CFGStmt，用于异常过滤（catch(...)后的类型匹配逻辑） -
CFGBlock::ExceptionHandler块：不对应源码行，而是异常分发入口，getTerminator()返回CFGStmt指向CXXTryStmt
遍历时建议先过滤掉空块（empty() && !isEntry() && !isExit()），再对每个非空块用 getTerminator().getAs<Stmt*>() 判断跳转类型。
为什么 CFG::dump() 看起来对但遍历结果不对
CFG::dump() 是调试用的文本快照，它会自动展开所有隐式边、插入注释块、重排块顺序以便阅读——但这和实际内存中的 CFGBlock* 链表顺序、getSuccessors() 返回的迭代器顺序不一致。你若用 dump() 输出反推遍历逻辑，大概率跳过异常边或误判循环头。
真实遍历必须依赖：
-
cfg->begin()/cfg->end()获取块迭代器（顺序是构建时拓扑序，非源码顺序） - 对每个
CFGBlock*，用block->succ_begin()/block->succ_end()遍历后继，而非查dump()中的箭头 - 注意
block->getTerminatorCondition()只对if/while有效；对goto或异常块，条件为空，边由语义规则硬编码
最容易被忽略的是：C++ 异常路径默认不启用。若没在 BuildOptions 中设 addEHPad() 或开启 -fexceptions 编译选项，整个异常子图（包括 try、catch、throw 边）根本不会生成。
