Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/clang/include/clang/Analysis/
H A DProgramPoint.h58 class ProgramPoint {
99 ProgramPoint() = default;
100 ProgramPoint(const void *P,
113 ProgramPoint(const void *P1,
131 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag()
132 return ProgramPoint(getData1(), getData2(), getKind(), in withTag()
142 ProgramPoint& PP = t; in castAs()
153 ProgramPoint& PP = t; in getAs()
192 bool operator==(const ProgramPoint & RHS) const {
199 bool operator!=(const ProgramPoint &RHS) const {
[all …]
H A DPathDiagnostic.h48 class ProgramPoint; variable
313 static PathDiagnosticLocation create(const ProgramPoint &P,
/openbsd-src/gnu/llvm/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()
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 DCMakeLists.txt27 ProgramPoint.cpp
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp170 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 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()
291 ProgramPoint P = getLocation(); in getCFGBlock()
332 ProgramPoint P = getLocation(); in getStmtForDiagnostics()
393 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
431 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
H A DExprEngine.cpp1027 ProgramPoint::Kind K) { in removeDead()
1028 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
1045 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead()
2110 ProgramPoint::PreStmtKind); in Visit()
2414 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
2443 ProgramPoint NewNodeLoc = EpsilonPoint( in replayWithoutInlining()
3088 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3100 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3160 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
3310 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr()
[all …]
H A DExprEngineObjC.cpp200 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()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h107 void generateNode(const ProgramPoint &Loc,
159 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
278 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
300 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
313 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
359 ProgramPoint &Location;
363 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
369 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
375 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
424 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
H A DExplodedGraph.h123 const ProgramPoint Location;
137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
144 ProgramPoint getLocation() const { return Location; } in getLocation()
180 const ProgramPoint &Loc, in Profile()
351 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
359 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);
665 const ProgramPoint *PP = nullptr);
/openbsd-src/gnu/usr.bin/clang/libclangAnalysis/
H A DMakefile31 ProgramPoint.cpp \
/openbsd-src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/Analysis/
H A DBUILD.gn33 "ProgramPoint.cpp",
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp94 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()
/openbsd-src/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowValues.h51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp105 ProgramPoint P = N->getFirstPred()->getLocation(); in VisitNode()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h343 const ProgramPoint &PP);
389 ProgramPoint::Kind K);

12