Home
last modified time | relevance | path

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

1234

/external/llvm-project/clang/include/clang/Analysis/
DProgramPoint.h59 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/
DProgramPoint.h61 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/
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 …]
DCMakeLists.txt25 ProgramPoint.cpp
/external/clang/lib/Analysis/
DProgramPoint.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()
DCMakeLists.txt21 ProgramPoint.cpp
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp172 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 …]
DCoreEngine.cpp153 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 …]
DExplodedGraph.cpp102 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()
DExprEngine.cpp693 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/
DCheckerManager.cpp155 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 …]
DCoreEngine.cpp242 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()
DExprEngine.cpp347 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 …]
DExplodedGraph.cpp112 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/
DCoreEngine.h103 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 …]
DExplodedGraph.h123 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,
DCheckerContext.h32 const ProgramPoint Location;
43 const ProgramPoint &loc,
139 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
394 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
DWorkList.h73 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h87 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 …]
DExplodedGraph.h113 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,
DCheckerContext.h79 const ProgramPoint Location;
90 const ProgramPoint &loc,
188 ProgramPoint L = N->getLocation(); in getLocationRegionIfPostStore()
336 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
DWorkList.h74 assert(N->getLocation().getKind() != ProgramPoint::PostStmtKind); in enqueue()
/external/llvm-project/llvm/utils/gn/secondary/clang/lib/Analysis/
DBUILD.gn31 "ProgramPoint.cpp",
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DUndefBranchChecker.cpp93 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()
/external/clang/lib/StaticAnalyzer/Checkers/
DUndefBranchChecker.cpp89 ProgramPoint P = PrevN->getLocation(); in checkBranchCondition()

1234