| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 59 class ProgramPoint {
100 ProgramPoint() = default;
101 ProgramPoint(const void *P,
114 ProgramPoint(const void *P1,
132 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag()
133 return ProgramPoint(getData1(), getData2(), getKind(), in withTag()
143 ProgramPoint& PP = t; in castAs()
155 ProgramPoint& PP = t; in getAs()
194 bool operator==(const ProgramPoint & RHS) const {
201 bool operator!=(const ProgramPoint &RHS) const {
[all …]
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 22 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()
40 case ProgramPoint::PostStmtPurgeDeadSymbolsKind: in getProgramPoint()
42 case ProgramPoint::PreStmtPurgeDeadSymbolsKind: in getProgramPoint()
47 LLVM_DUMP_METHOD void ProgramPoint::dump() const { in dump()
[all …]
|
| H A D | CMakeLists.txt | 27 ProgramPoint.cpp
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 172 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
173 ProgramPoint::PostStmtKind; in runChecker()
174 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
230 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
335 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
336 ProgramPoint::PreStoreKind; in runChecker()
337 const ProgramPoint &L = in runChecker()
338 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker()
371 const ProgramPoint &PP;
[all …]
|
| H A D | CoreEngine.cpp | 153 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(getNoteTags().makeNoteTag( in HandleBlockEdge()
496 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
605 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
[all …]
|
| H A D | ExplodedGraph.cpp | 102 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 D | ExprEngine.cpp | 693 ProgramPoint::Kind K) { in removeDead()
694 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
711 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead()
1601 ProgramPoint::PreStmtKind); in Visit()
1905 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
1933 ProgramPoint NewNodeLoc = in replayWithoutInlining()
2579 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2591 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
2646 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr()
2728 ProgramPoint::PostLValueKind); in VisitMemberExpr()
[all …]
|
| H A D | BugReporterVisitors.cpp | 1613 ProgramPoint P = StoreSite->getLocation(); in VisitNode()
1689 ProgramPoint P = N->getLocation(); in VisitNode()
1765 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode()
1959 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
2282 ProgramPoint ProgPoint = N->getLocation(); in VisitNodeImpl()
2893 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
3029 ProgramPoint PP = N->getLocation(); in VisitNode()
|
| H A D | ExprEngineCallAndReturn.cpp | 85 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
185 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
299 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
|
| H A D | ExprEngineCXX.cpp | 565 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor()
608 ProgramPoint::PreStmtKind); in handleConstructor()
1035 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
|
| H A D | ExprEngineObjC.cpp | 200 ProgramPoint::PreStmtKind); in VisitObjCMessage()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 103 void generateNode(const ProgramPoint &Loc,
155 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
267 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
289 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
300 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
346 ProgramPoint &Location;
350 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
356 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
362 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
411 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
|
| H A D | ExplodedGraph.h | 123 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 D | CheckerContext.h | 32 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 D | WorkList.h | 73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
| H A D | ExprEngine.h | 292 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
663 const ProgramPoint *PP = nullptr);
|
| /netbsd-src/external/apache2/llvm/lib/libclangAnalysis/ |
| H A D | Makefile | 29 ProgramPoint.cpp \
|
| /netbsd-src/external/apache2/llvm/dist/llvm/utils/gn/secondary/clang/lib/Analysis/ |
| H A D | BUILD.gn | 33 "ProgramPoint.cpp",
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefBranchChecker.cpp | 93 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
|
| H A D | AnalyzerStatsChecker.cpp | 56 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 63 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
|
| H A D | ObjCSuperDeallocChecker.cpp | 266 ProgramPoint P = Succ->getLocation(); in VisitNode()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 105 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowValues.h | 51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 344 const ProgramPoint &PP);
390 ProgramPoint::Kind K);
|