/external/llvm-project/clang/include/clang/Analysis/ |
D | ProgramPoint.h | 59 class ProgramPoint { 100 ProgramPoint() = default; 101 ProgramPoint(const void *P, 114 ProgramPoint(const void *P1, 132 ProgramPoint withTag(const ProgramPointTag *tag) const { in withTag() 133 return ProgramPoint(getData1(), getData2(), getKind(), in withTag() 143 ProgramPoint& PP = t; in castAs() 155 ProgramPoint& PP = t; in getAs() 194 bool operator==(const ProgramPoint & RHS) const { 201 bool operator!=(const ProgramPoint &RHS) const { [all …]
|
/external/clang/include/clang/Analysis/ |
D | ProgramPoint.h | 61 class ProgramPoint { 99 ProgramPoint() {} in ProgramPoint() function 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() 154 ProgramPoint& PP = t; in getAs() 189 bool operator==(const ProgramPoint & RHS) const { 196 bool operator!=(const ProgramPoint &RHS) const { [all …]
|
/external/llvm-project/clang/lib/Analysis/ |
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 …]
|
D | CMakeLists.txt | 25 ProgramPoint.cpp
|
/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
|
/external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
D | CheckerManager.cpp | 172 ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : in runChecker() 173 ProgramPoint::PostStmtKind; in runChecker() 174 const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K, in runChecker() 230 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker() 335 ProgramPoint::Kind K = IsLoad ? ProgramPoint::PreLoadKind : in runChecker() 336 ProgramPoint::PreStoreKind; in runChecker() 337 const ProgramPoint &L = in runChecker() 338 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker() 371 const ProgramPoint &PP; [all …]
|
D | CoreEngine.cpp | 153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() 157 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem() 161 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem() 165 case ProgramPoint::BlockExitKind: in dispatchWorkItem() 169 case ProgramPoint::CallEnterKind: in dispatchWorkItem() 173 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem() 177 case ProgramPoint::EpsilonKind: { in dispatchWorkItem() 222 ProgramPoint P = L.withTag(getNoteTags().makeNoteTag( in HandleBlockEdge() 495 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() 604 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl() [all …]
|
D | ExplodedGraph.cpp | 102 ProgramPoint progPoint = node->getLocation(); in shouldCollect() 142 const ProgramPoint SuccLoc = succ->getLocation(); in shouldCollect() 292 ProgramPoint P = getLocation(); in getCFGBlock() 333 ProgramPoint P = getLocation(); in getStmtForDiagnostics() 394 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode() 432 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
|
D | ExprEngine.cpp | 693 ProgramPoint::Kind K) { in removeDead() 694 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead() 711 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead() 1596 ProgramPoint::PreStmtKind); in Visit() 1900 ProgramPoint L = N->getLocation(); in replayWithoutInlining() 1928 ProgramPoint NewNodeLoc = in replayWithoutInlining() 2574 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 2586 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 2641 ProgramPoint::PostLValueKind); in VisitArraySubscriptExpr() 2723 ProgramPoint::PostLValueKind); in VisitMemberExpr() [all …]
|
/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 | 242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() 246 case ProgramPoint::BlockEdgeKind: in dispatchWorkItem() 250 case ProgramPoint::BlockEntranceKind: in dispatchWorkItem() 254 case ProgramPoint::BlockExitKind: in dispatchWorkItem() 258 case ProgramPoint::CallEnterKind: { in dispatchWorkItem() 263 case ProgramPoint::CallExitBeginKind: in dispatchWorkItem() 267 case ProgramPoint::EpsilonKind: { in dispatchWorkItem() 526 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() 642 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl() 679 ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF, in generateNode()
|
D | ExprEngine.cpp | 347 ProgramPoint::Kind K) { in removeDead() 348 assert((K == ProgramPoint::PreStmtPurgeDeadSymbolsKind || in removeDead() 365 assert(K == ProgramPoint::PostStmtPurgeDeadSymbolsKind && in removeDead() 1095 ProgramPoint::PreStmtKind); in Visit() 1364 ProgramPoint L = N->getLocation(); in replayWithoutInlining() 1392 ProgramPoint NewNodeLoc = in replayWithoutInlining() 1939 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1951 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1962 ProgramPoint::PostLValueKind); in VisitCommonDeclRefExpr() 1993 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() 339 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CoreEngine.h | 103 void generateNode(const ProgramPoint &Loc, 155 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, 267 ExplodedNode *generateNodeImpl(const ProgramPoint &PP, 289 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() 300 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() 346 ProgramPoint &Location; 350 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks() 356 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 362 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 411 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){ [all …]
|
D | ExplodedGraph.h | 123 const ProgramPoint Location; 137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode() 144 ProgramPoint getLocation() const { return Location; } in getLocation() 182 const ProgramPoint &Loc, in Profile() 353 ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State, 361 ExplodedNode *createUncachedNode(const ProgramPoint &L,
|
D | CheckerContext.h | 32 const ProgramPoint Location; 43 const ProgramPoint &loc, 139 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore() 394 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
D | WorkList.h | 73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc, 135 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, 241 ExplodedNode *generateNodeImpl(const ProgramPoint &PP, 263 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() 274 ExplodedNode *generateSink(const ProgramPoint &PP, in generateSink() 316 ProgramPoint &Location; 320 const NodeBuilderContext &Ctx, ProgramPoint &L) in NodeBuilderWithSinks() 326 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 332 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 382 ProgramPoint::Kind K = ProgramPoint::PostStmtKind){ [all …]
|
D | ExplodedGraph.h | 113 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, 302 ExplodedNode *createUncachedNode(const ProgramPoint &L,
|
D | CheckerContext.h | 79 const ProgramPoint Location; 90 const ProgramPoint &loc, 188 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore() 336 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
|
D | WorkList.h | 74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
|
/external/llvm-project/llvm/utils/gn/secondary/clang/lib/Analysis/ |
D | BUILD.gn | 31 "ProgramPoint.cpp",
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | UndefBranchChecker.cpp | 89 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
D | UndefBranchChecker.cpp | 93 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
|