Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp361 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred); in HandleBlockExit()
366 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(), in HandleBlockExit()
374 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
391 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
395 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
399 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
408 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
434 HandleBranch(Term, Term, B, Pred); in HandleBlockExit()
447 HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
459 void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term, in HandleBranch() function in CoreEngine
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h96 void HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock *B,