Searched refs:IteratorPosition (Results 1 – 6 of 6) sorted by relevance
| /freebsd/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()
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 | 271 IteratorPosition::getPosition(ContReg, BeginSym)); in handleBegin()
293 IteratorPosition::getPosition(ContReg, EndSym)); in handleEnd()
937 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
940 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
950 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
954 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
963 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
966 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
977 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
981 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()
221 IteratorPosition::getPosition(Cont, Sym)); in createIteratorPosition()
|
| H A D | IteratorModeling.cpp | 308 for (const IteratorPosition &Pos : llvm::make_second_range(RegionMap)) { in checkLiveSymbols()
315 for (const IteratorPosition &Pos : llvm::make_second_range(SymbolMap)) { in checkLiveSymbols()
481 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
485 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
645 const IteratorPosition *OldPos = getIteratorPosition(State, OldVal); in handlePtrIncrOrDecr()
663 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal); in handlePtrIncrOrDecr()
|