Home
last modified time | relevance | path

Searched refs:HandleBranch (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp373 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred); in HandleBlockExit()
378 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(), in HandleBlockExit()
386 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
403 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
407 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
411 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
420 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
446 HandleBranch(Term, Term, B, Pred); in HandleBlockExit()
459 HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
476 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch() function in CoreEngine
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h99 void HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock *B,