| /external/clang/include/clang/Analysis/ |
| D | ProgramPoint.h | 38 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 …]
|
| /external/clang/lib/Analysis/ |
| D | ProgramPoint.cpp | 21 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()
|
| D | CMakeLists.txt | 15 ProgramPoint.cpp
|
| D | Android.mk | 32 ProgramPoint.cpp \
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 155 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 …]
|
| D | CoreEngine.cpp | 228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
232 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem()
236 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem()
240 case ProgramPoint::BlockExitKind: in dispatchWorkItem()
244 case ProgramPoint::CallEnterKind: { in dispatchWorkItem()
250 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem()
254 case ProgramPoint::EpsilonKind: { in dispatchWorkItem()
474 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode()
585 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
622 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
|
| D | ExprEngine.cpp | 300 ProgramPoint::Kind K) { in removeDead()
301 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead()
318 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead()
819 ProgramPoint::PreStmtKind); in Visit()
1078 ProgramPoint L = N->getLocation(); in replayWithoutInlining()
1106 ProgramPoint NewNodeLoc = in replayWithoutInlining()
1544 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1556 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1567 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr()
1597 ProgramPoint::PostLValueKind); in VisitLvalArraySubscriptExpr()
[all …]
|
| D | ExplodedGraph.cpp | 111 ProgramPoint progPoint = node->getLocation(); in shouldCollect()
151 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect()
296 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
|
| D | ExprEngineCallAndReturn.cpp | 77 const ProgramPoint &PP = Node->getLocation(); in getLastStmt()
177 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction()
298 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
|
| D | BugReporterVisitors.cpp | 628 ProgramPoint P = StoreSite->getLocation(); in VisitNode()
687 ProgramPoint P = N->getLocation(); in VisitNode()
818 const ProgramPoint &pp = N->getLocation(); in trackNullOrUndefValue()
1062 ProgramPoint progPoint = N->getLocation(); in VisitNodeImpl()
1428 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
|
| D | ExprEngineC.cpp | 211 0, ProgramPoint::PostLValueKind); in VisitBlockExpr()
525 ProgramPoint P = N->getLocation(); in VisitLogicalExpr()
643 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
|
| D | PathDiagnostic.cpp | 580 PathDiagnosticLocation::create(const ProgramPoint& P, in create()
617 ProgramPoint P = NI->getLocation(); in createEndOfPath()
993 ProgramPoint P = N->getLocation(); in getMessage()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc,
133 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
239 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
261 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode()
272 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink()
314 ProgramPoint &Location;
318 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks()
324 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
330 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
378 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
[all …]
|
| D | CheckerContext.h | 79 const ProgramPoint Location;
90 const ProgramPoint &loc,
187 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
293 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
| D | ExplodedGraph.h | 112 const ProgramPoint Location;
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode()
134 ProgramPoint getLocation() const { return Location; } in getLocation()
163 const ProgramPoint &Loc, in Profile()
292 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
|
| D | WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
| D | ExprEngine.h | 191 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
463 const ProgramPoint *PP = 0);
|
| D | CallEvent.h | 29 class ProgramPoint; variable
308 ProgramPoint getProgramPoint(bool IsPreVisit = false,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | UndefBranchChecker.cpp | 90 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
|
| D | AnalyzerStatsChecker.cpp | 57 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
|
| D | UnreachableCodeChecker.cpp | 68 const ProgramPoint &P = I->getLocation(); in checkEndAnalysis()
|
| /external/clang/include/clang/Analysis/FlowSensitive/ |
| D | DataflowValues.h | 51 typedef llvm::DenseMap<ProgramPoint, ValTy> EdgeDataMapTy;
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 281 const ProgramPoint &PP);
315 ProgramPoint::Kind K);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | PathDiagnostic.h | 37 class ProgramPoint; variable
240 static PathDiagnosticLocation create(const ProgramPoint& P,
|
| /external/clang/docs/ |
| D | ReleaseNotes.rst | 104 Certain type hierarchies (TypeLoc, CFGElement, ProgramPoint, and SVal) were
|