Searched refs:HandleBranch (Results 1 – 2 of 2) sorted by relevance
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 341 HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred); in HandleBlockExit()
346 HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(), in HandleBlockExit()
354 HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
370 HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
374 HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
378 HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
388 HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred); in HandleBlockExit()
414 HandleBranch(Term, Term, B, Pred); in HandleBlockExit()
426 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
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 119 void HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock *B,
|