reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
  297   if (const Stmt *Term = B->getTerminatorStmt()) {
  304             cast<CXXBindTemporaryExpr>(Term), B, Pred);
  309         HandleStaticInit(cast<DeclStmt>(Term), B, Pred);
  313         HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred);
  319                      Term, B, Pred);
  326         HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred);
  332         for (CFGBlock::const_succ_iterator it = B->succ_begin(),
  333              et = B->succ_end(); it != et; ++it) {
  335             generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
  342         HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred);
  346         HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred);
  350         HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred);
  359         HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred);
  364         assert(B->succ_size() == 1);
  367            builder(Pred, B, cast<IndirectGotoStmt>(Term)->getTarget(),
  368                    *(B->succ_begin()), this);
  385         HandleBranch(Term, Term, B, Pred);
  389         SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(),
  397         HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred);
  407   if (B->getTerminator().isVirtualBaseBranch()) {
  408     HandleVirtualBaseBranch(B, Pred);
  412   assert(B->succ_size() == 1 &&
  415   generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
  415   generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),