Searched refs:IteratorPosition (Results 1 – 6 of 6) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.h | 26 struct IteratorPosition { struct
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition() argument
46 IteratorPosition invalidate() const { in invalidate() argument
47 return IteratorPosition(Cont, false, Offset); in invalidate()
51 return IteratorPosition(C, true, Of); in getPosition()
54 IteratorPosition setTo(SymbolRef NewOf) const { in setTo() argument
55 return IteratorPosition(Cont, Valid, NewOf); in setTo()
58 IteratorPosition reAssign(const MemRegion *NewCont) const { in reAssign() argument
59 return IteratorPosition(NewCont, Valid, Offset); in reAssign()
62 bool operator==(const IteratorPosition &X) const {
[all …]
|
| H A D | ContainerModeling.cpp | 923 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
926 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
940 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
949 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
952 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
963 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
967 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
976 auto MatchCont = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
979 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
994 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
[all …]
|
| H A D | IteratorRangeChecker.cpp | 66 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
67 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
68 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
299 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isPastTheEnd()
315 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) { in isAheadOfRange()
331 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isBehindPastTheEnd()
|
| H A D | DebugIteratorModeling.cpp | 98 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()
106 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()
114 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
|
| H A D | Iterator.cpp | 184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val) { in getIteratorPosition()
197 const IteratorPosition &Pos) { in setIteratorPosition()
220 IteratorPosition::getPosition(Cont, Sym)); in createIteratorPosition()
|
| H A D | IteratorModeling.cpp | 306 for (const IteratorPosition &Pos : llvm::make_second_range(RegionMap)) { in checkLiveSymbols()
313 for (const IteratorPosition &Pos : llvm::make_second_range(SymbolMap)) { in checkLiveSymbols()
476 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
480 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
638 const IteratorPosition *OldPos = getIteratorPosition(State, OldVal); in handlePtrIncrOrDecr()
656 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal); in handlePtrIncrOrDecr()
|