Searched refs:IteratorPosition (Results 1 – 6 of 6) sorted by relevance
| /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()
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) { in getPosition() argument
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()
[all …]
|
| H A D | ContainerModeling.cpp | 268 IteratorPosition::getPosition(ContReg, BeginSym)); in handleBegin()
290 IteratorPosition::getPosition(ContReg, EndSym)); in handleEnd()
932 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
935 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
945 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
949 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
958 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
961 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
972 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
976 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
[all …]
|
| H A D | IteratorRangeChecker.cpp | 71 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
72 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
73 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
304 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isPastTheEnd()
320 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) { in isAheadOfRange()
336 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 | 25 // IteratorPosition which is an abstraction of the position the iterator
307 for (const IteratorPosition &Pos : llvm::make_second_range(RegionMap)) { in checkLiveSymbols()
314 for (const IteratorPosition &Pos : llvm::make_second_range(SymbolMap)) { in checkLiveSymbols()
477 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
481 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
639 const IteratorPosition *OldPos = getIteratorPosition(State, OldVal); in handlePtrIncrOrDecr()
657 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal); in handlePtrIncrOrDecr()
|