Home
last modified time | relevance | path

Searched refs:ProgramPoint (Results 1 – 25 of 35) sorted by relevance

12

/freebsd-13.1/contrib/llvm-project/clang/include/clang/Analysis/
H A DProgramPoint.h59 class ProgramPoint {
100 ProgramPoint() = default;
101 ProgramPoint(const void *P,
143 ProgramPoint& PP = t; in castAs()
155 ProgramPoint& PP = t; in getAs()
220 static ProgramPoint getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
243 friend class ProgramPoint;
264 friend class ProgramPoint;
287 friend class ProgramPoint;
304 friend class ProgramPoint;
[all …]
H A DPathDiagnostic.h50 class ProgramPoint; variable
314 static PathDiagnosticLocation create(const ProgramPoint &P,
/freebsd-13.1/contrib/llvm-project/clang/lib/Analysis/
H A DProgramPoint.cpp22 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, in getProgramPoint()
28 case ProgramPoint::PreStmtKind: in getProgramPoint()
30 case ProgramPoint::PostStmtKind: in getProgramPoint()
32 case ProgramPoint::PreLoadKind: in getProgramPoint()
34 case ProgramPoint::PostLoadKind: in getProgramPoint()
36 case ProgramPoint::PreStoreKind: in getProgramPoint()
38 case ProgramPoint::PostLValueKind: in getProgramPoint()
80 case ProgramPoint::BlockExitKind: in printJson()
83 case ProgramPoint::CallEnterKind: in printJson()
92 case ProgramPoint::EpsilonKind: in printJson()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp171 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
173 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
334 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
336 const ProgramPoint &L = in runChecker()
370 const ProgramPoint &PP;
415 const ProgramPoint &PP;
458 const ProgramPoint &L = in runCheckersForEndFunction()
523 ProgramPoint L = in runChecker()
560 ProgramPoint::Kind ProgarmPointKind;
572 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, ProgarmPointKind, in runChecker()
[all …]
H A DCoreEngine.cpp153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
157 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
161 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
165 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
169 case ProgramPoint::CallEnterKind: in dispatchWorkItem()
173 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
177 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
222 ProgramPoint P = L.withTag(getDataTags().make<NoteTag>( in HandleBlockEdge()
497 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
606 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
[all …]
H A DExplodedGraph.cpp102 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
142 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
292 ProgramPoint P = getLocation(); in getCFGBlock()
333 ProgramPoint P = getLocation(); in getStmtForDiagnostics()
394 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
432 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
H A DExprEngine.cpp693 ProgramPoint::Kind K) { in removeDead()
694 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
1907 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
1935 ProgramPoint NewNodeLoc = in replayWithoutInlining()
2581 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2593 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2648 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr()
2730 ProgramPoint::PostLValueKind); in VisitMemberExpr()
2773 ProgramPoint::PostStmtKind); in VisitAtomicExpr()
2993 ProgramPoint::PostLoadKind); in evalLoad()
[all …]
H A DExprEngineObjC.cpp200 ProgramPoint::PreStmtKind); in VisitObjCMessage()
H A DExprEngineCallAndReturn.cpp85 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
185 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
299 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
H A DExprEngineCXX.cpp565 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor()
608 ProgramPoint::PreStmtKind); in handleConstructor()
1035 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
H A DBugReporterVisitors.cpp1631 ProgramPoint P = N->getLocation(); in VisitNode()
1707 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode()
1904 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
1965 ProgramPoint P = SI.StoreSite->getLocation(); in constructNote()
2504 ProgramPoint ProgPoint = N->getLocation(); in VisitNodeImpl()
3115 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
3251 ProgramPoint PP = N->getLocation(); in VisitNode()
H A DExprEngineC.cpp253 nullptr, ProgramPoint::PostLValueKind); in VisitBlockExpr()
678 ProgramPoint P = N->getLocation(); in VisitLogicalExpr()
801 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h104 void generateNode(const ProgramPoint &Loc,
156 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
268 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
290 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
301 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
347 ProgramPoint &Location;
351 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
412 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
413 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
422 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
H A DExplodedGraph.h123 const ProgramPoint Location;
137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
144 ProgramPoint getLocation() const { return Location; } in getLocation()
182 const ProgramPoint &Loc, in Profile()
353 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
361 ExplodedNode *createUncachedNode(const ProgramPoint &L,
H A DCheckerContext.h32 const ProgramPoint Location;
43 const ProgramPoint &loc,
139 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
394 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
H A DWorkList.h73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
H A DExprEngine.h292 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
662 const ProgramPoint *PP = nullptr);
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp93 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
H A DAnalyzerStatsChecker.cpp56 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp63 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
H A DObjCSuperDeallocChecker.cpp266 ProgramPoint P = Succ->getLocation(); in VisitNode()
H A DTestAfterDivZeroChecker.cpp120 ProgramPoint P = Succ->getLocation(); in REGISTER_SET_WITH_PROGRAMSTATE()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp105 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowValues.h51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h344 const ProgramPoint &PP);
390 ProgramPoint::Kind K);

12