/external/clang/include/clang/Analysis/FlowSensitive/ |
DataflowValues.h | 87 ValTy& getEdgeData(const BlockEdge &E) { 93 const ValTy& getEdgeData(const BlockEdge &E) const {
|
/external/clang/lib/StaticAnalyzer/Core/ |
CoreEngine.cpp | 189 BlockEdge StartLoc(Entry, Succ, L); 234 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); 284 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { 383 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), 455 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), 662 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, 674 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), 694 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), 719 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),
|
PathDiagnostic.cpp | 669 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { 700 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) [all...] |
ExprEngineC.cpp | 534 BlockEdge BE = N->getLocation().castAs<BlockEdge>(); 654 SrcBlock = PP.castAs<BlockEdge>().getSrc(); [all...] |
ExprEngineCallAndReturn.cpp | 56 BlockEdge Loc(Entry, Succ, calleeCtx); 101 } else if (Optional<BlockEdge> BE = PP.getAs<BlockEdge>()) { [all...] |
BugReporterVisitors.cpp | 873 if (Optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) { [all...] |
BugReporter.cpp | 615 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { [all...] |
ExprEngine.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 62 virtual void processCFGBlockEntrance(const BlockEdge &L,
|
CoreEngine.h | 52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> > 91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
|
ExprEngine.h | 217 void processCFGBlockEntrance(const BlockEdge &L,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
AnalyzerStatsChecker.cpp | 123 const BlockEdge &BE = I->first;
|
BasicObjCFoundationChecks.cpp | [all...] |
MallocChecker.cpp | [all...] |
/external/clang/include/clang/Analysis/ |
ProgramPoint.h | 448 class BlockEdge : public ProgramPoint { 450 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) 452 assert(B1 && "BlockEdge: source block must be non-null"); 453 assert(B2 && "BlockEdge: destination block must be non-null"); 466 BlockEdge() {}
|