/freebsd/contrib/llvm-project/clang/include/clang/Analysis/ |
H A D | ProgramPoint.h | 58 class ProgramPoint { 101 ProgramPoint() = default; 102 ProgramPoint(const void *P, Kind k, const LocationContext *l, 113 ProgramPoint(const void *P1, const void *P2, Kind k, const LocationContext *l, 129 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag() 130 return ProgramPoint(getData1(), getData2(), getKind(), in withTag() 140 ProgramPoint& PP = t; in castAs() 151 ProgramPoint& PP = t; in getAs() 190 bool operator==(const ProgramPoint & RHS) const { 195 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 | 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 …]
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 170 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker() 171 ProgramPoint::PostStmtKind; in runChecker() 172 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker() 228 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 286 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 333 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker() 334 ProgramPoint::PreStoreKind; in runChecker() 335 const ProgramPoint &L = in runChecker() 336 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker() 369 const ProgramPoint &PP; [all …]
|
H A D | CoreEngine.cpp | 182 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() 239 ProgramPoint P = L.withTag(getDataTags().make<NoteTag>( in HandleBlockEdge() 513 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() 622 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl() [all …]
|
H A D | ExplodedGraph.cpp | 101 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 D | ExprEngine.cpp | 1033 ProgramPoint::Kind K) { in removeDead() 1034 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead() 1051 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead() 2144 ProgramPoint::PreStmtKind); in Visit() 2447 ProgramPoint L = N->getLocation(); in replayWithoutInlining() 2476 ProgramPoint NewNodeLoc = EpsilonPoint( in replayWithoutInlining() 3119 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 3131 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 3191 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 3341 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr() [all …]
|
H A D | ExprEngineCallAndReturn.cpp | 86 const ProgramPoint &PP = Node->getLocation(); in getLastStmt() 186 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction() 371 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
|
H A D | ExprEngineCXX.cpp | 726 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor() 767 ProgramPoint::PreStmtKind); in handleConstructor() 1251 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
|
H A D | BugReporterVisitors.cpp | 1865 ProgramPoint P = N->getLocation(); in VisitNode() 1948 ProgramPoint CurPoint = Succ->getLocation(); in VisitNode() 2165 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr() 2226 ProgramPoint P = SI.StoreSite->getLocation(); in constructNote() 2785 ProgramPoint ProgPoint = N->getLocation(); in VisitNodeImpl() 3404 ProgramPoint ProgLoc = N->getLocation(); in VisitNode() 3464 ProgramPoint PP = N->getLocation(); in VisitNode()
|
H A D | ExprEngineC.cpp | 248 nullptr, ProgramPoint::PostLValueKind); in VisitBlockExpr() 676 ProgramPoint P = N->getLocation(); in VisitLogicalExpr() 798 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
|
H A D | LoopUnrolling.cpp | 306 ProgramPoint P = N->getLocation(); in madeNewBranch()
|
H A D | BugReporter.cpp | 302 ProgramPoint P = N->getLocation(); in getMessage() 1137 ProgramPoint P = C.getCurrentNode()->getLocation(); in generatePathDiagnosticsForNode() 2399 ProgramPoint ProgP = ErrorNode->getLocation(); in getStmt() 2427 ProgramPoint P = ErrorNode->getLocation(); in getLocation()
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CoreEngine.h | 108 void generateNode(const ProgramPoint &Loc, 154 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() 360 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 366 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 415 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){ [all …]
|
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() 352 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State, 360 ExplodedNode *createUncachedNode(const ProgramPoint &L,
|
H A D | CheckerContext.h | 33 const ProgramPoint Location; 44 const ProgramPoint &loc, 142 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore() 426 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 | 287 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind); 650 const ProgramPoint *PP = nullptr);
|
H A D | CallEvent.h | 54 class ProgramPoint; variable 359 ProgramPoint getProgramPoint(bool IsPreVisit = false,
|
/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/ |
H A D | AnalyzerStatsChecker.cpp | 57 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()
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 343 const ProgramPoint &PP); 389 ProgramPoint::Kind K);
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountDiagnostics.cpp | 732 const ProgramPoint AllocPP = AllocationNode->getLocation(); in GetAllocationSite()
|