| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 61 class ProgramPoint {
107 ProgramPoint() = default;
108 ProgramPoint(const void *P, Kind k, const LocationContext *l,
119 ProgramPoint(const void *P1, const void *P2, Kind k, const LocationContext *l,
135 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag()
136 return ProgramPoint(getData1(), getData2(), getKind(), in withTag()
146 ProgramPoint& PP = t; in castAs()
157 ProgramPoint& PP = t; in getAs()
196 bool operator==(const ProgramPoint & RHS) const {
201 bool operator!=(const ProgramPoint &RHS) const {
[all …]
|
| H A D | PathDiagnostic.h | 48 class ProgramPoint; variable
313 static PathDiagnosticLocation create(const ProgramPoint &P,
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 23 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, in getProgramPoint()
29 case ProgramPoint::PreStmtKind: in getProgramPoint()
31 case ProgramPoint::PostStmtKind: in getProgramPoint()
33 case ProgramPoint::PreLoadKind: in getProgramPoint()
35 case ProgramPoint::PostLoadKind: in getProgramPoint()
37 case ProgramPoint::PreStoreKind: in getProgramPoint()
39 case ProgramPoint::PostLValueKind: in getProgramPoint()
41 case ProgramPoint::PostStmtPurgeDeadSymbolsKind: in getProgramPoint()
43 case ProgramPoint::PreStmtPurgeDeadSymbolsKind: in getProgramPoint()
48 LLVM_DUMP_METHOD void ProgramPoint::dump() const { in dump()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 102 void generateNode(const ProgramPoint &Loc,
156 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
271 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
293 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
306 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
352 ProgramPoint &Location;
356 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
362 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
368 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
417 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
|
| H A D | CheckerContext.h | 33 const ProgramPoint Location;
44 const ProgramPoint &loc,
74 const ProgramPoint getLocation() const { return Location; } in getLocation()
145 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
437 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
| H A D | ExplodedGraph.h | 124 const ProgramPoint Location;
138 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
145 ProgramPoint getLocation() const { return Location; } in getLocation()
181 const ProgramPoint &Loc, in Profile()
353 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
360 ExplodedNode *createUncachedNode(const ProgramPoint &L,
|
| H A D | WorkList.h | 73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
| H A D | ExprEngine.h | 287 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
663 const ProgramPoint *PP = nullptr);
|
| H A D | CallEvent.h | 54 class ProgramPoint; variable
359 ProgramPoint getProgramPoint(bool IsPreVisit = false,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 165 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
166 ProgramPoint::PostStmtKind; in runChecker()
167 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
228 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
339 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
340 ProgramPoint::PreStoreKind; in runChecker()
341 const ProgramPoint &L = in runChecker()
342 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker()
378 const ProgramPoint &PP;
[all …]
|
| H A D | CoreEngine.cpp | 182 static std::string timeTraceScopeName(const ProgramPoint &Loc) { in timeTraceScopeName()
185 ProgramPoint::getProgramPointKindName(Loc.getKind())) in timeTraceScopeName()
192 const ProgramPoint &Loc) { in timeTraceMetadata()
213 void CoreEngine::dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc, in dispatchWorkItem()
221 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
225 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
229 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
233 case ProgramPoint::CallEnterKind: in dispatchWorkItem()
237 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
241 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
[all …]
|
| H A D | ExplodedGraph.cpp | 99 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
139 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
288 ProgramPoint P = getLocation(); in getCFGBlock()
329 ProgramPoint P = getLocation(); in getStmtForDiagnostics()
392 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
430 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
|
| H A D | ExprEngine.cpp | 1033 ProgramPoint::Kind K) { in removeDead()
1035 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
1052 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead()
2165 ProgramPoint::PreStmtKind); in Visit()
2468 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
2497 ProgramPoint NewNodeLoc = EpsilonPoint( in replayWithoutInlining()
3227 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3239 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3261 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3316 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 82 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
182 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
352 ? ProgramPoint{PostStmt(LastSt, calleeCtx, &retValBind)} in processCallExit()
353 : ProgramPoint{EpsilonPoint(calleeCtx, /*Data1=*/nullptr, in processCallExit()
371 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
|
| H A D | ExprEngineObjC.cpp | 217 ProgramPoint::PreStmtKind); in VisitObjCMessage()
|
| H A D | BugReporterVisitors.cpp | 1817 ProgramPoint P = N->getLocation(); in VisitNode()
1900 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode()
2117 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
2178 ProgramPoint P = SI.StoreSite->getLocation(); in constructNote()
2737 ProgramPoint ProgPoint = N->getLocation(); in VisitNodeImpl()
3361 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
3421 ProgramPoint PP = N->getLocation(); in VisitNode()
|
| H A D | ExprEngineCXX.cpp | 692 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor()
737 ProgramPoint::PreStmtKind); in handleConstructor()
1223 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
|
| H A D | LoopUnrolling.cpp | 306 ProgramPoint P = N->getLocation(); in madeNewBranch()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowValues.h | 51 using EdgeDataMapTy = llvm::DenseMap<ProgramPoint, ValTy>;
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 104 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 53 const ProgramPoint &P = N.getLocation(); in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 63 const ProgramPoint &P = N.getLocation(); in checkEndAnalysis()
|
| H A D | ObjCSuperDeallocChecker.cpp | 259 ProgramPoint P = Succ->getLocation(); in VisitNode()
|
| H A D | TestAfterDivZeroChecker.cpp | 118 ProgramPoint P = Succ->getLocation(); in REGISTER_SET_WITH_PROGRAMSTATE()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 345 const ProgramPoint &PP);
397 ProgramPoint::Kind K);
|