Home
last modified time | relevance | path

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

12

/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/
H A DProgramPoint.h58 class ProgramPoint {
101 ProgramPoint() = default;
140 ProgramPoint& PP = t; in castAs()
151 ProgramPoint& PP = t; in getAs()
214 static ProgramPoint getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
237 friend class ProgramPoint;
258 friend class ProgramPoint;
282 friend class ProgramPoint;
299 friend class ProgramPoint;
323 friend class ProgramPoint;
[all …]
H A DPathDiagnostic.h48 class ProgramPoint; variable
313 static PathDiagnosticLocation create(const ProgramPoint &P,
/freebsd-14.2/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-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp170 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
172 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
333 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
335 const ProgramPoint &L = in runChecker()
369 const ProgramPoint &PP;
414 const ProgramPoint &PP;
457 const ProgramPoint &L = in runCheckersForEndFunction()
522 ProgramPoint L = in runChecker()
559 ProgramPoint::Kind ProgarmPointKind;
571 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, ProgarmPointKind, in runChecker()
[all …]
H A DCoreEngine.cpp182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
186 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
190 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
194 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
198 case ProgramPoint::CallEnterKind: in dispatchWorkItem()
202 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
206 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
251 ProgramPoint P = L.withTag(getDataTags().make<NoteTag>( in HandleBlockEdge()
525 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
634 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
[all …]
H A DExplodedGraph.cpp101 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
141 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
290 ProgramPoint P = getLocation(); in getCFGBlock()
331 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 DExprEngine.cpp1033 ProgramPoint::Kind K) { in removeDead()
2435 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
2464 ProgramPoint NewNodeLoc = EpsilonPoint( in replayWithoutInlining()
3107 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3119 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3179 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3329 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr()
3419 ProgramPoint::PostLValueKind); in VisitMemberExpr()
3462 ProgramPoint::PostStmtKind); in VisitAtomicExpr()
3683 ProgramPoint::PostLoadKind); in evalLoad()
[all …]
H A DExprEngineObjC.cpp213 ProgramPoint::PreStmtKind); in VisitObjCMessage()
H A DExprEngineCallAndReturn.cpp86 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
186 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
371 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
H A DExprEngineCXX.cpp726 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor()
767 ProgramPoint::PreStmtKind); in handleConstructor()
1251 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
H A DBugReporterVisitors.cpp1861 ProgramPoint P = N->getLocation(); in VisitNode()
1944 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode()
2161 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
2222 ProgramPoint P = SI.StoreSite->getLocation(); in constructNote()
2781 ProgramPoint ProgPoint = N->getLocation(); in VisitNodeImpl()
3390 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
3526 ProgramPoint PP = N->getLocation(); in VisitNode()
H A DExprEngineC.cpp248 nullptr, ProgramPoint::PostLValueKind); in VisitBlockExpr()
674 ProgramPoint P = N->getLocation(); in VisitLogicalExpr()
796 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h108 void generateNode(const ProgramPoint &Loc,
160 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
269 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
291 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
304 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
350 ProgramPoint &Location;
354 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
415 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
416 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
425 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
H A DExplodedGraph.h124 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()
352 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
360 ExplodedNode *createUncachedNode(const ProgramPoint &L,
H A DCheckerContext.h33 const ProgramPoint Location;
44 const ProgramPoint &loc,
142 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
414 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
H A DWorkList.h73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
H A DExprEngine.h295 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
658 const ProgramPoint *PP = nullptr);
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp92 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
H A DAnalyzerStatsChecker.cpp57 const ProgramPoint &P = N.getLocation(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp63 const ProgramPoint &P = N.getLocation(); in checkEndAnalysis()
H A DObjCSuperDeallocChecker.cpp259 ProgramPoint P = Succ->getLocation(); in VisitNode()
H A DTestAfterDivZeroChecker.cpp121 ProgramPoint P = Succ->getLocation(); in REGISTER_SET_WITH_PROGRAMSTATE()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowValues.h51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp105 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h343 const ProgramPoint &PP);
389 ProgramPoint::Kind K);

12