Searched refs:BlockEdge (Results 1 – 16 of 16) sorted by relevance
/external/clang/include/clang/Analysis/FlowSensitive/ |
D | DataflowSolver.h | 81 static BlockEdge PrevEdge(const CFGBlock *B, const CFGBlock *Prev) { 82 return BlockEdge(Prev, B, 0); 85 static BlockEdge NextEdge(const CFGBlock *B, const CFGBlock *Next) { 86 return BlockEdge(B, Next, 0); 104 static BlockEdge PrevEdge(const CFGBlock *B, const CFGBlock *Prev) { 105 return BlockEdge(B, Prev, 0); 108 static BlockEdge NextEdge(const CFGBlock *B, const CFGBlock *Next) { 109 return BlockEdge(Next, B, 0); 322 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()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | CoreEngine.cpp | 188 BlockEdge StartLoc(Entry, Succ, L); in ExecuteWorkList() 233 HandleBlockEdge(cast<BlockEdge>(Loc), Pred); in dispatchWorkItem() 283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() 372 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit() 444 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit() 622 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode() 633 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), in generateNode() 653 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), in generateCaseStmtNode() 678 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock, in generateDefaultCaseNode()
|
D | ExprEngineCallAndReturn.cpp | 49 BlockEdge Loc(Entry, Succ, calleeCtx); in processCallEnter() 108 if (isa<BlockEdge>(PP) && in getLastStmt() 110 BlockEdge &EPP = cast<BlockEdge>(PP); in getLastStmt()
|
D | PathDiagnostic.cpp | 584 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in create() 620 else if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in createEndOfPath()
|
D | BugReporter.cpp | 49 else if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) in GetStmt() 478 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in GenerateMinimalPathDiagnostic() 1238 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in GenerateExtensivePathDiagnostic()
|
D | ExprEngineC.cpp | 513 BlockEdge BE = cast<BlockEdge>(N->getLocation()); in VisitLogicalExpr() 622 SrcBlock = cast<BlockEdge>(&PP)->getSrc(); in VisitGuardedExpr()
|
D | BugReporterVisitors.cpp | 647 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&progPoint)) { in VisitNodeImpl()
|
D | ExprEngine.cpp | 1022 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L, in processCFGBlockEntrance() 1976 const BlockEdge &E = cast<BlockEdge>(Loc); in getNodeLabel()
|
/external/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 | 198 virtual void processCFGBlockEntrance(const BlockEdge &L,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | IdempotentOperationChecker.cpp | 548 const BlockEdge &BE = I->first; in pathWasCompletelyAnalyzed() 587 else if (BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in pathWasCompletelyAnalyzed()
|
D | AnalyzerStatsChecker.cpp | 123 const BlockEdge &BE = I->first; in checkEndAnalysis()
|
D | MallocChecker.cpp | 1527 else if (BlockEdge *Edge = dyn_cast<BlockEdge>(&ProgLoc)) { in VisitNode()
|
/external/clang/include/clang/Analysis/ |
D | ProgramPoint.h | 385 class BlockEdge : public ProgramPoint { 387 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge() function
|