/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 | 21 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() 212 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 266 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 310 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker() 311 ProgramPoint::PreStoreKind; in runChecker() 312 const ProgramPoint &L = in runChecker() 313 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker() 343 const ProgramPoint &PP; [all …]
|
D | CoreEngine.cpp | 229 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()
|
D | ExprEngine.cpp | 346 ProgramPoint::Kind K) { in removeDead() 347 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead() 364 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead() 1085 ProgramPoint::PreStmtKind); in Visit() 1348 ProgramPoint L = N->getLocation(); in replayWithoutInlining() 1376 ProgramPoint NewNodeLoc = in replayWithoutInlining() 1915 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1927 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1938 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1969 ProgramPoint::PostLValueKind); in VisitLvalArraySubscriptExpr() [all …]
|
D | ExplodedGraph.cpp | 112 ProgramPoint progPoint = node->getLocation(); in shouldCollect() 152 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect() 301 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
|
D | BugReporterVisitors.cpp | 692 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()
|
D | ExprEngineCallAndReturn.cpp | 80 const ProgramPoint &PP = Node->getLocation(); in getLastStmt() 180 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in removeDeadOnEndOfFunction() 301 ProgramPoint::PostStmtPurgeDeadSymbolsKind); in processCallExit()
|
D | PathDiagnostic.cpp | 663 PathDiagnosticLocation::create(const ProgramPoint& P, in create() 695 ProgramPoint P = N->getLocation(); in getStmt() 751 ProgramPoint P = N->getLocation(); in createEndOfPath() 1125 ProgramPoint P = N->getLocation(); in getMessage()
|
D | ExprEngineObjC.cpp | 187 ProgramPoint::PreStmtKind); in VisitObjCMessage()
|
D | ExprEngineCXX.cpp | 322 ProgramPoint::PreStmtKind); in VisitCXXConstructExpr() 619 nullptr, ProgramPoint::PostLValueKind); in VisitLambdaExpr()
|
D | ExprEngineC.cpp | 243 nullptr, ProgramPoint::PostLValueKind); in VisitBlockExpr() 551 ProgramPoint P = N->getLocation(); in VisitLogicalExpr() 674 ProgramPoint PP = N->getLocation(); in VisitGuardedExpr()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CoreEngine.h | 87 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 …]
|
D | CheckerContext.h | 79 const ProgramPoint Location; 90 const ProgramPoint &loc, 188 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore() 332 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() 132 ProgramPoint getLocation() const { return Location; } in getLocation() 161 const ProgramPoint &Loc, in Profile() 294 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
|
D | WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
D | ExprEngine.h | 190 ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind); 497 const ProgramPoint *PP = nullptr);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | UndefBranchChecker.cpp | 88 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()
|
D | DynamicTypeChecker.cpp | 111 ProgramPoint ProgLoc = N->getLocation(); in VisitNode()
|
/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 | 284 const ProgramPoint &PP); 318 ProgramPoint::Kind K);
|