| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 102 BlockEdge StartLoc(Entry, Succ, L); in ExecuteWorkList()
160 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
210 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
317 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
387 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
590 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
602 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
620 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
644 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
|
| H A D | ExprEngineCallAndReturn.cpp | 55 BlockEdge Loc(Entry, Succ, calleeCtx); in processCallEnter()
103 } else if (Optional<BlockEdge> BE = PP.getAs<BlockEdge>()) { in getLastStmt()
|
| H A D | BugReporterVisitors.cpp | 1468 if (auto BE = CurPoint.getAs<BlockEdge>()) { in VisitNode()
1546 if (Optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) { in peelOffOuterExpr()
1841 if (Optional<BlockEdge> BE = progPoint.getAs<BlockEdge>()) { in VisitNodeImpl()
2376 const auto Edge = Succ->getLocation().getAs<BlockEdge>(); in VisitNode()
|
| H A D | ExprEngineC.cpp | 655 BlockEdge BE = N->getLocation().castAs<BlockEdge>(); in VisitLogicalExpr()
769 SrcBlock = PP.castAs<BlockEdge>().getSrc(); in VisitGuardedExpr()
|
| H A D | PathDiagnostic.cpp | 716 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in create()
781 if (auto BE = P.getAs<BlockEdge>()) in getStmt()
|
| H A D | BugReporter.cpp | 675 void generateMinimalDiagForBlockEdge(const ExplodedNode *N, BlockEdge BE, in generateMinimalDiagForBlockEdge()
905 static bool isJumpToFalseBranch(const BlockEdge *BE) { in isJumpToFalseBranch()
1156 } else if (auto BE = P.getAs<BlockEdge>()) { in generatePathDiagnosticsForNode()
|
| H A D | CheckerManager.cpp | 427 const BlockEdge &L, in runCheckersForBeginFunction()
|
| H A D | ExprEngine.cpp | 1853 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L, in processCFGBlockEntrance()
2199 const BlockEdge &L) { in processBeginOfFunction()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowValues.h | 87 ValTy& getEdgeData(const BlockEdge &E) { in getEdgeData()
93 const ValTy& getEdgeData(const BlockEdge &E) const { in getEdgeData()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 69 virtual void processCFGBlockEntrance(const BlockEdge &L,
114 const BlockEdge &L) = 0;
|
| H A D | CoreEngine.h | 66 std::vector<std::pair<BlockEdge, const ExplodedNode *>>;
103 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
|
| H A D | ExprEngine.h | 290 void processCFGBlockEntrance(const BlockEdge &L,
333 const BlockEdge &L) override;
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 144 const BlockEdge &E = castAs<BlockEdge>(); in print()
|
| /freebsd-12.1/contrib/llvm/lib/Transforms/Utils/ |
| H A D | PredicateInfo.cpp | 603 auto BlockEdge = getBlockEdge(PossibleCopy); in renameUses() local
604 if (EdgeUsesOnly.count(BlockEdge)) { in renameUses()
606 auto *DomNode = DT.getNode(BlockEdge.first); in renameUses()
619 auto *DomNode = DT.getNode(BlockEdge.second); in renameUses()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 123 const BlockEdge &BE = I->first; in checkEndAnalysis()
|
| H A D | BasicObjCFoundationChecks.cpp | 962 if (Optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in alreadyExecutedAtLeastOneLoopIteration()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 505 class BlockEdge : public ProgramPoint {
507 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge() function
523 BlockEdge() = default;
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 293 const BlockEdge &L,
|
| /freebsd-12.1/contrib/llvm/lib/Transforms/Scalar/ |
| H A D | NewGVN.cpp | 621 using BlockEdge = BasicBlockEdge; typedef in __anon46287ded0311::NewGVN
622 DenseSet<BlockEdge> ReachableEdges;
|