| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 109 BlockEdge StartLoc(Entry, Succ, L); in ExecuteWorkList()
222 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
260 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
397 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
478 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
543 BlockEdge Loc(B, *B->succ_begin(), LCtx); in HandleVirtualBaseBranch()
554 BlockEdge Loc(B, *(B->succ_begin() + 1), LCtx); in HandleVirtualBaseBranch()
727 BlockEdge(C.getBlock(), Dst, NodePred->getLocationContext()); in generateNode()
738 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
756 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
[all …]
|
| H A D | ExprEngineC.cpp | 714 while (!N->getLocation().getAs<BlockEdge>()) { in VisitLogicalExpr()
733 BlockEdge BE = N->getLocation().castAs<BlockEdge>(); in VisitLogicalExpr()
837 auto Edge = N->getLocationAs<BlockEdge>(); in VisitGuardedExpr()
|
| H A D | ExprEngineCallAndReturn.cpp | 55 BlockEdge Loc(Entry, Succ, CE.getCalleeContext()); in processCallEnter()
103 } else if (std::optional<BlockEdge> BE = PP.getAs<BlockEdge>()) { in getLastStmt()
|
| H A D | ExplodedGraph.cpp | 332 if (auto BE = P.getAs<BlockEdge>()) in getStmtForDiagnostics()
|
| H A D | BugReporterVisitors.cpp | 1902 if (auto BE = CurPoint.getAs<BlockEdge>()) { in VisitNode()
2118 if (std::optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) { in peelOffOuterExpr()
2743 if (std::optional<BlockEdge> BE = ProgPoint.getAs<BlockEdge>()) { in VisitNodeImpl()
|
| H A D | BugReporter.cpp | 260 BlockEdge BE) const;
890 PathDiagnosticConstruct &C, BlockEdge BE) const { in generateMinimalDiagForBlockEdge()
1044 static bool isJumpToFalseBranch(const BlockEdge *BE) { in isJumpToFalseBranch()
1263 } else if (auto BE = P.getAs<BlockEdge>()) { in generatePathDiagnosticsForNode()
|
| H A D | CheckerManager.cpp | 493 const BlockEdge &L, in runCheckersForBeginFunction()
|
| H A D | ExprEngine.cpp | 2537 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L, in processCFGBlockEntrance()
3009 const BlockEdge &L) { in processBeginOfFunction()
|
| /freebsd/contrib/llvm-project/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/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 254 const BlockEdge &E = castAs<BlockEdge>(); in printJson()
|
| H A D | PathDiagnostic.cpp | 663 if (std::optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in create()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 115 for (const BlockEdge &BE : make_first_range(CE.exhausted_blocks())) { in checkEndAnalysis()
|
| H A D | BasicObjCFoundationChecks.cpp | 967 if (std::optional<BlockEdge> BE = P.getAs<BlockEdge>()) { in alreadyExecutedAtLeastOneLoopIteration()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | PredicateInfo.cpp | 604 auto BlockEdge = getBlockEdge(PossibleCopy); in renameUses() local
605 if (!BlockEdge.second->getSinglePredecessor()) { in renameUses()
607 auto *DomNode = DT.getNode(BlockEdge.first); in renameUses()
619 auto *DomNode = DT.getNode(BlockEdge.second); in renameUses()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 508 class BlockEdge : public ProgramPoint {
510 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge() function
526 BlockEdge() = default;
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 61 std::vector<std::pair<BlockEdge, const ExplodedNode *>>;
106 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
|
| H A D | ExprEngine.h | 320 void processCFGBlockEntrance(const BlockEdge &L,
367 const BlockEdge &L);
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 359 const BlockEdge &L,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 425 auto PP = N->getLocationAs<BlockEdge>(); in annotateStartParameter()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | NewGVN.cpp | 637 using BlockEdge = BasicBlockEdge; typedef in __anonb3555ec80211::NewGVN
638 DenseSet<BlockEdge> ReachableEdges;
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 7497 …PNS0_12ExplodedNodeE", "clang::ento::CoreEngine::HandleBlockEdge(clang::BlockEdge const&, clang::e…
7544 …BlockEdge, clang::ento::ExplodedNode const*>, std::allocator<std::pair<clang::BlockEdge, clang::en…
|