使用 gdb 调试 LLVM 检查器时如何以图形方式查看 CFG

Question

我最近在学习 Clang 静态分析器并编写我的第一个检查器。当我尝试使用 GDB 调试我的检查器时，我想查看生成的 CFG。我可以在 AnalysisConsumer::HandleCode() 中到达 CFG 的指针。根据 LLVM Programmer Manual，我应该可以调用 CFG 对象的 viewCFG() 方法。但它需要 LangOptions 作为参数。我在哪里可以找到 LangOptions？

void AnalysisConsumer::HandleCode(Decl *D, AnalysisMode Mode,
                                  ExprEngine::InliningModes IMode,
                                  SetOfConstDecls *VisitedCallees) {
  ...
  CFG *DeclCFG = Mgr->getCFG(D);
  if (DeclCFG) {
    unsigned CFGSize = DeclCFG->size();
    MaxCFGSize = MaxCFGSize < CFGSize ? CFGSize : MaxCFGSize;
  }
  ...
}

Answer 1

我终于自己找到了答案，要在这个环境下查看CFG就用这个：

(gdb) call DeclCFG->viewCFG(Mgr->getLangOpts())

使用 gdb 调试 LLVM 检查器时如何以图形方式查看 CFG

How to view CFG graphically when debugging LLVM checker with gdb

c++

llvm

clang