Home
last modified time | relevance | path

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

12

/NextBSD/contrib/llvm/tools/clang/include/clang/Analysis/
HDProgramPoint.h38 class ProgramPoint {
76 ProgramPoint() {} in ProgramPoint() function
77 ProgramPoint(const void *P,
90 ProgramPoint(const void *P1,
108 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag()
109 return ProgramPoint(getData1(), getData2(), getKind(), in withTag()
119 ProgramPoint& PP = t; in castAs()
131 ProgramPoint& PP = t; in getAs()
166 bool operator==(const ProgramPoint & RHS) const {
173 bool operator!=(const ProgramPoint &RHS) const {
[all …]
/NextBSD/contrib/llvm/tools/clang/lib/Analysis/
HDProgramPoint.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()
39 case ProgramPoint::PostStmtPurgeDeadSymbolsKind: in getProgramPoint()
41 case ProgramPoint::PreStmtPurgeDeadSymbolsKind: in getProgramPoint()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDCheckerManager.cpp155 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker()
156 ProgramPoint::PostStmtKind; in runChecker()
157 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker()
196 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
239 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
283 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker()
284 ProgramPoint::PreStoreKind; in runChecker()
285 const ProgramPoint &L = in runChecker()
286 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker()
316 const ProgramPoint &PP;
[all …]
HDCoreEngine.cpp229 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
233 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
237 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
241 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
245 case ProgramPoint::CallEnterKind: { in dispatchWorkItem()
251 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
255 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
509 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
625 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
662 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
HDExprEngine.cpp345 ProgramPoint::Kind K) { in removeDead()
346 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
363 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead()
1060 ProgramPoint::PreStmtKind); in Visit()
1323 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
1351 ProgramPoint NewNodeLoc = in replayWithoutInlining()
1866 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1878 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1889 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1921 ProgramPoint::PostLValueKind); in VisitLvalArraySubscriptExpr()
[all …]
HDExplodedGraph.cpp112 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
152 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
301 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
HDBugReporterVisitors.cpp692 ProgramPoint P = StoreSite->getLocation(); in VisitNode()
767 ProgramPoint P = N->getLocation(); in VisitNode()
872 ProgramPoint ProgPoint = NI->getLocation(); in peelOffOuterExpr()
919 const ProgramPoint &pp = N->getLocation(); in trackNullOrUndefValue()
1166 ProgramPoint progPoint = N->getLocation(); in VisitNodeImpl()
1588 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
HDExprEngineCallAndReturn.cpp80 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
180 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
301 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
HDPathDiagnostic.cpp665 PathDiagnosticLocation::create(const ProgramPoint& P, in create()
697 ProgramPoint P = N->getLocation(); in getStmt()
753 ProgramPoint P = N->getLocation(); in createEndOfPath()
1127 ProgramPoint P = N->getLocation(); in getMessage()
HDExprEngineC.cpp221 nullptr, ProgramPoint::PostLValueKind); in VisitBlockExpr()
526 ProgramPoint P = N->getLocation(); in VisitLogicalExpr()
649 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCoreEngine.h87 void generateNode(const ProgramPoint &Loc,
132 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
238 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
260 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
271 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
313 ProgramPoint &Location;
317 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
323 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
329 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
379 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
HDCheckerContext.h79 const ProgramPoint Location;
90 const ProgramPoint &loc,
188 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
294 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
HDExplodedGraph.h112 const ProgramPoint Location;
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
132 ProgramPoint getLocation() const { return Location; } in getLocation()
161 const ProgramPoint &Loc, in Profile()
294 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
HDWorkList.h74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
HDExprEngine.h190 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
493 const ProgramPoint *PP = nullptr);
HDCallEvent.h29 class ProgramPoint; variable
301 ProgramPoint getProgramPoint(bool IsPreVisit = false,
/NextBSD/lib/clang/libclanganalysis/
HDMakefile.depend126 ProgramPoint.o: DeclNodes.inc.h
127 ProgramPoint.o: DiagnosticCommonKinds.inc.h
128 ProgramPoint.o: StmtNodes.inc.h
129 ProgramPoint.po: DeclNodes.inc.h
130 ProgramPoint.po: DiagnosticCommonKinds.inc.h
131 ProgramPoint.po: StmtNodes.inc.h
HDMakefile23 ProgramPoint.cpp \
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDUndefBranchChecker.cpp88 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
HDAnalyzerStatsChecker.cpp57 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
HDUnreachableCodeChecker.cpp68 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
HDTestAfterDivZeroChecker.cpp124 ProgramPoint P = Succ->getLocation(); in REGISTER_SET_WITH_PROGRAMSTATE()
/NextBSD/contrib/llvm/tools/clang/include/clang/Analysis/FlowSensitive/
HDDataflowValues.h51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h269 const ProgramPoint &PP);
303 ProgramPoint::Kind K);
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDPathDiagnostic.h38 class ProgramPoint; variable
251 static PathDiagnosticLocation create(const ProgramPoint& P,

12