| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/Analysis/FlowSensitive/ |
| D | DataflowSolver.h | 80 static BlockEdge PrevEdge(const CFGBlock *B, const CFGBlock *Prev) {
81 return BlockEdge(Prev, B, 0);
84 static BlockEdge NextEdge(const CFGBlock *B, const CFGBlock *Next) {
85 return BlockEdge(B, Next, 0);
103 static BlockEdge PrevEdge(const CFGBlock *B, const CFGBlock *Prev) {
104 return BlockEdge(B, Prev, 0);
107 static BlockEdge NextEdge(const CFGBlock *B, const CFGBlock *Next) {
108 return BlockEdge(Next, B, 0);
321 void UpdateEdgeValue(BlockEdge E, ValTy& V, const CFGBlock *TargetBlock) {
|
| D | DataflowValues.h | 87 ValTy& getEdgeData(const BlockEdge &E) { in getEdgeData()
93 const ValTy& getEdgeData(const BlockEdge &E) const { in getEdgeData()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 188 BlockEdge StartLoc(Entry, Succ, L); in ExecuteWorkList()
233 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
377 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
449 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
640 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
651 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), in generateNode()
671 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), in generateCaseStmtNode()
696 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock, in generateDefaultCaseNode()
|
| D | ExprEngineCallAndReturn.cpp | 56 BlockEdge Loc(Entry, Succ, calleeCtx); in processCallEnter()
101 } else if (Optional<BlockEdge> BE = PP.getAs<BlockEdge>()) { in getLastStmt()
|
| D | PathDiagnostic.cpp | 658 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in create()
689 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) in getStmt()
|
| D | BugReporterVisitors.cpp | 877 if (Optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) { in peelOffOuterExpr()
1186 if (Optional<BlockEdge> BE = progPoint.getAs<BlockEdge>()) { in VisitNodeImpl()
|
| D | ExprEngineC.cpp | 526 BlockEdge BE = N->getLocation().castAs<BlockEdge>(); in VisitLogicalExpr()
646 SrcBlock = PP.castAs<BlockEdge>().getSrc(); in VisitGuardedExpr()
|
| D | BugReporter.cpp | 618 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in GenerateMinimalPathDiagnostic()
1318 static bool isJumpToFalseBranch(const BlockEdge *BE) { in isJumpToFalseBranch()
1326 static bool isLoopJumpPastBody(const Stmt *Term, const BlockEdge *BE) { in isLoopJumpPastBody()
1485 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in GenerateExtensivePathDiagnostic()
1773 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in GenerateAlternateExtensivePathDiagnostic()
|
| D | ExprEngine.cpp | 1249 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L, in processCFGBlockEntrance()
2346 const BlockEdge &E = Loc.castAs<BlockEdge>(); in getNodeLabel()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | IdempotentOperationChecker.cpp | 549 const BlockEdge &BE = I->first; in pathWasCompletelyAnalyzed()
587 } else if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in pathWasCompletelyAnalyzed()
|
| D | AnalyzerStatsChecker.cpp | 123 const BlockEdge &BE = I->first; in checkEndAnalysis()
|
| D | BasicObjCFoundationChecks.cpp | 952 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in alreadyExecutedAtLeastOneLoopIteration()
|
| D | MallocChecker.cpp | 2110 } else if (Optional<BlockEdge> Edge = ProgLoc.getAs<BlockEdge>()) { in VisitNode()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/Analysis/ |
| D | ProgramPoint.h | 448 class BlockEdge : public ProgramPoint {
450 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge() function
466 BlockEdge() {} in BlockEdge() function
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 62 virtual void processCFGBlockEntrance(const BlockEdge &L,
|
| D | CoreEngine.h | 52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
|
| D | ExprEngine.h | 216 virtual void processCFGBlockEntrance(const BlockEdge &L,
|