Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/
H A DProgramPoint.h61 class ProgramPoint {
102 ProgramPoint() = default;
103 ProgramPoint(const void *P,
145 ProgramPoint& PP = t; in castAs()
157 ProgramPoint& PP = t; in getAs()
222 static ProgramPoint getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
245 friend class ProgramPoint;
266 friend class ProgramPoint;
289 friend class ProgramPoint;
306 friend class ProgramPoint;
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DProgramPoint.cpp21 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, in getProgramPoint()
27 case ProgramPoint::PreStmtKind: in getProgramPoint()
29 case ProgramPoint::PostStmtKind: in getProgramPoint()
31 case ProgramPoint::PreLoadKind: in getProgramPoint()
33 case ProgramPoint::PostLoadKind: in getProgramPoint()
35 case ProgramPoint::PreStoreKind: in getProgramPoint()
37 case ProgramPoint::PostLValueKind: in getProgramPoint()
80 case ProgramPoint::BlockExitKind: in print()
84 case ProgramPoint::CallEnterKind: in print()
104 case ProgramPoint::EpsilonKind: in print()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp162 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
164 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
325 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
327 const ProgramPoint &L = in runChecker()
361 const ProgramPoint &PP;
406 const ProgramPoint &PP;
449 const ProgramPoint &L = in runCheckersForEndFunction()
548 ProgramPoint::Kind ProgarmPointKind;
560 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, ProgarmPointKind, in runChecker()
653 ProgramPoint::Kind K = ProgramPoint::PostStmtKind; in runCheckersForEvalCall()
[all …]
H A DCoreEngine.cpp155 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
159 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
163 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
167 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
171 case ProgramPoint::CallEnterKind: in dispatchWorkItem()
175 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
179 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
445 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
554 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
590 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
H A DExplodedGraph.cpp103 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
143 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
296 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
334 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
H A DExprEngine.cpp643 ProgramPoint::Kind K) { in removeDead()
1799 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
1827 ProgramPoint NewNodeLoc = in replayWithoutInlining()
2417 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2429 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2442 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2492 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr()
2574 ProgramPoint::PostLValueKind); in VisitMemberExpr()
2617 ProgramPoint::PostStmtKind); in VisitAtomicExpr()
2822 ProgramPoint::PostLoadKind); in evalLoad()
[all …]
H A DExprEngineCXX.cpp489 BldrPrepare.generateNode(CE, Pred, State, &T, ProgramPoint::PreStmtKind); in VisitCXXConstructExpr()
528 ProgramPoint::PreStmtKind); in VisitCXXConstructExpr()
904 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
H A DExprEngineCallAndReturn.cpp82 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
182 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
296 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
H A DPathDiagnostic.cpp713 PathDiagnosticLocation::create(const ProgramPoint& P, in create()
778 ProgramPoint P = N->getLocation(); in getStmt()
843 ProgramPoint P = N->getLocation(); in createEndOfPath()
1279 ProgramPoint P = N->getLocation(); in getMessage()
H A DExprEngineObjC.cpp204 ProgramPoint::PreStmtKind); in VisitObjCMessage()
H A DBugReporterVisitors.cpp1317 ProgramPoint P = StoreSite->getLocation(); in VisitNode()
1390 ProgramPoint P = N->getLocation(); in VisitNode()
1466 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode()
1545 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
1828 ProgramPoint progPoint = N->getLocation(); in VisitNodeImpl()
2324 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h99 void generateNode(const ProgramPoint &Loc,
149 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
259 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
281 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
292 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
338 ProgramPoint &Location;
342 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
403 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
404 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
413 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
H A DCheckerContext.h33 const ProgramPoint Location;
44 const ProgramPoint &loc,
138 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
293 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
H A DExplodedGraph.h124 const ProgramPoint Location;
136 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
143 ProgramPoint getLocation() const { return Location; } in getLocation()
177 const ProgramPoint &Loc, in Profile()
313 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
321 ExplodedNode *createUncachedNode(const ProgramPoint &L,
H A DWorkList.h74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
H A DExprEngine.h261 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
604 const ProgramPoint *PP = nullptr);
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp89 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
H A DAnalyzerStatsChecker.cpp57 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp64 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
H A DObjCSuperDeallocChecker.cpp266 ProgramPoint P = Succ->getLocation(); in VisitNode()
H A DTestAfterDivZeroChecker.cpp121 ProgramPoint P = Succ->getLocation(); in REGISTER_SET_WITH_PROGRAMSTATE()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowValues.h51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp104 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h285 const ProgramPoint &PP);
333 ProgramPoint::Kind K);
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DPathDiagnostic.h51 class ProgramPoint; variable
274 static PathDiagnosticLocation create(const ProgramPoint &P,

12