Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp355 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred); in HandleBlockExit()
360 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(), in HandleBlockExit()
368 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
385 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
389 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
393 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
402 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
428 HandleBranch(Term, Term, B, Pred); in HandleBlockExit()
441 HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
453 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,