Home
last modified time | relevance | path

Searched refs:BlockEdge (Results 1 – 16 of 16) sorted by relevance

/external/clang/include/clang/Analysis/FlowSensitive/
DDataflowSolver.h81 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) {
DDataflowValues.h87 ValTy& getEdgeData(const BlockEdge &E) { in getEdgeData()
93 const ValTy& getEdgeData(const BlockEdge &E) const { in getEdgeData()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp188 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()
DExprEngineCallAndReturn.cpp49 BlockEdge Loc(Entry, Succ, calleeCtx); in processCallEnter()
108 if (isa<BlockEdge>(PP) && in getLastStmt()
110 BlockEdge &EPP = cast<BlockEdge>(PP); in getLastStmt()
DPathDiagnostic.cpp584 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in create()
620 else if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in createEndOfPath()
DBugReporter.cpp49 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()
DExprEngineC.cpp513 BlockEdge BE = cast<BlockEdge>(N->getLocation()); in VisitLogicalExpr()
622 SrcBlock = cast<BlockEdge>(&PP)->getSrc(); in VisitGuardedExpr()
DBugReporterVisitors.cpp647 if (const BlockEdge *BE = dyn_cast<BlockEdge>(&progPoint)) { in VisitNodeImpl()
DExprEngine.cpp1022 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L, in processCFGBlockEntrance()
1976 const BlockEdge &E = cast<BlockEdge>(Loc); in getNodeLabel()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h62 virtual void processCFGBlockEntrance(const BlockEdge &L,
DCoreEngine.h52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
DExprEngine.h198 virtual void processCFGBlockEntrance(const BlockEdge &L,
/external/clang/lib/StaticAnalyzer/Checkers/
DIdempotentOperationChecker.cpp548 const BlockEdge &BE = I->first; in pathWasCompletelyAnalyzed()
587 else if (BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { in pathWasCompletelyAnalyzed()
DAnalyzerStatsChecker.cpp123 const BlockEdge &BE = I->first; in checkEndAnalysis()
DMallocChecker.cpp1527 else if (BlockEdge *Edge = dyn_cast<BlockEdge>(&ProgLoc)) { in VisitNode()
/external/clang/include/clang/Analysis/
DProgramPoint.h385 class BlockEdge : public ProgramPoint {
387 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge() function