| /external/clang/include/clang/Analysis/FlowSensitive/ |
| 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) {
|
| DataflowValues.h | 87 ValTy& getEdgeData(const BlockEdge &E) {
93 const ValTy& getEdgeData(const BlockEdge &E) const {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CoreEngine.cpp | 188 BlockEdge StartLoc(Entry, Succ, L);
233 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
372 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
444 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
622 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,
633 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
653 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
678 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
|
| PathDiagnostic.cpp | 584 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
624 } else if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
[all...] |
| ExprEngineC.cpp | 533 BlockEdge BE = N->getLocation().castAs<BlockEdge>();
648 SrcBlock = PP.castAs<BlockEdge>().getSrc();
[all...] |
| ExprEngineCallAndReturn.cpp | 53 BlockEdge Loc(Entry, Succ, calleeCtx);
98 } else if (Optional<BlockEdge> BE = PP.getAs<BlockEdge>()) {
[all...] |
| BugReporter.cpp | 58 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>())
625 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
[all...] |
| BugReporterVisitors.cpp | [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 | 214 virtual void processCFGBlockEntrance(const BlockEdge &L,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 123 const BlockEdge &BE = I->first;
|
| IdempotentOperationChecker.cpp | 549 const BlockEdge &BE = I->first;
551 // The destination block on the BlockEdge is the first block that was not
587 } else if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
|
| /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() {}
|
