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

Question

我最近在学习Clang Static Analyzer并编写了我的第一个检查器。当我尝试使用GDB调试我的检查程序时，我想查看生成的CFG。我可以在AnalysisConsumer::HandleCode()中找到CFG的指针。根据{{​​3}}，我应该能够调用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())