lib/Analysis/CFG.cpp

2649 CFGBlock *CFGBuilder::VisitSwitchStmt(SwitchStmt *Terminator) {
2660   if (VarDecl *VD = Terminator->getConditionVariable()) {
2663     addAutomaticObjDtors(ScopePos, SwitchBeginScopePos, Terminator);
2693   assert(Terminator->getBody() && "switch must contain a non-NULL body");
2702   assert(Terminator->getCond() && "switch condition must be non-NULL");
2704   bool b = tryEvaluate(Terminator->getCond(), result);
2710   if (!isa<CompoundStmt>(Terminator->getBody()))
2711     addLocalScopeAndDtors(Terminator->getBody());
2713   addStmt(Terminator->getBody());
2727   SwitchAlwaysHasSuccessor |= Terminator->isAllEnumCasesCovered() &&
2728                               Terminator->getSwitchCaseList();
2733   SwitchTerminatedBlock->setTerminator(Terminator);
2735   CFGBlock *LastBlock = addStmt(Terminator->getCond());
2739   if (VarDecl *VD = Terminator->getConditionVariable()) {
2742       appendStmt(Block, Terminator->getConditionVariableDeclStmt());
2850 CFGBlock *CFGBuilder::VisitDefaultStmt(DefaultStmt *Terminator) {
2851   if (Terminator->getSubStmt())
2852     addStmt(Terminator->getSubStmt());
2861   DefaultCaseBlock->setLabel(Terminator);
2881 CFGBlock *CFGBuilder::VisitCXXTryStmt(CXXTryStmt *Terminator) {
2897   NewTryTerminatedBlock->setTerminator(Terminator);
2900   for (unsigned h = 0; h <Terminator->getNumHandlers(); ++h) {
2903     CXXCatchStmt *CS = Terminator->getHandler(h);
2929   assert(Terminator->getTryBlock() && "try must contain a non-NULL body");
2931   return addStmt(Terminator->getTryBlock());
3626   void VisitStmt(Stmt *Terminator) {
3627     Terminator->printPretty(OS, Helper, Policy);
3660   void VisitSwitchStmt(SwitchStmt *Terminator) {
3662     Terminator->getCond()->printPretty(OS, Helper, Policy);
4027   Stmt *Terminator = this->Terminator;
4028   if (!Terminator)
4033   switch (Terminator->getStmtClass()) {
4038       E = cast<CXXForRangeStmt>(Terminator)->getCond();
4042       E = cast<ForStmt>(Terminator)->getCond();
4046       E = cast<WhileStmt>(Terminator)->getCond();
4050       E = cast<DoStmt>(Terminator)->getCond();
4054       E = cast<IfStmt>(Terminator)->getCond();
4058       E = cast<ChooseExpr>(Terminator)->getCond();
4062       E = cast<IndirectGotoStmt>(Terminator)->getTarget();
4066       E = cast<SwitchStmt>(Terminator)->getCond();
4070       E = cast<BinaryConditionalOperator>(Terminator)->getCond();
4074       E = cast<ConditionalOperator>(Terminator)->getCond();
4078       E = cast<BinaryOperator>(Terminator)->getLHS();
4082       return Terminator;