Lines Matching refs:Term
344 if (const Stmt *Term = B->getTerminator()) {
345 switch (Term->getStmtClass()) {
351 HandleStaticInit(cast<DeclStmt>(Term), B, Pred);
355 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred);
360 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(),
361 Term, B, Pred);
368 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred);
385 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred);
389 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred);
393 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred);
402 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred);
410 builder(Pred, B, cast<IndirectGotoStmt>(Term)->getTarget(),
428 HandleBranch(Term, Term, B, Pred);
433 SwitchNodeBuilder builder(Pred, B, cast<SwitchStmt>(Term)->getCond(),
441 HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred);
453 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
458 SubEng.processBranch(Cond, Term, Ctx, Pred, Dst,
