Lines Matching refs:Term
345 if (const Stmt *Term = B->getTerminator()) {
346 switch (Term->getStmtClass()) {
357 HandleStaticInit(cast<DeclStmt>(Term), B, Pred);
361 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred);
366 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(),
367 Term, B, Pred);
374 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred);
391 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred);
395 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred);
399 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred);
408 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred);
416 builder(Pred, B, cast<IndirectGotoStmt>(Term)->getTarget(),
434 HandleBranch(Term, Term, B, Pred);
439 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(),
447 HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred);
459 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
464 SubEng.processBranch(Cond, Term, Ctx, Pred, Dst,