326   if (const Stmt *Term = B->getTerminatorStmt()) {  in HandleBlockExit()  local
327     switch (Term->getStmtClass()) {  in HandleBlockExit()
333             cast<CXXBindTemporaryExpr>(Term), B, Pred);  in HandleBlockExit()
338         HandleStaticInit(cast<DeclStmt>(Term), B, Pred);  in HandleBlockExit()
342         HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred);  in HandleBlockExit()
347         HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(),  in HandleBlockExit()
348                      Term, B, Pred);  in HandleBlockExit()
355         HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
371         HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
375         HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
379         HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
389         HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
397            builder(Pred, B, cast<IndirectGotoStmt>(Term)->getTarget(),  in HandleBlockExit()
415         HandleBranch(Term, Term, B, Pred);  in HandleBlockExit()
419         SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(),  in HandleBlockExit()
427         HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred);  in HandleBlockExit()
431         assert(cast<GCCAsmStmt>(Term)->isAsmGoto() && "Encountered GCCAsmStmt without labels");  in HandleBlockExit()
454 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,  in HandleBranch()  argument