Searched refs:IteratorPosition (Results 1 – 6 of 6) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/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 | 277 IteratorPosition::getPosition(ContReg, BeginSym)); in handleBegin()
299 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 | 67 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
68 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
69 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
305 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isPastTheEnd()
321 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) { in isAheadOfRange()
337 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) { in isBehindPastTheEnd()
|
| H A D | DebugIteratorModeling.cpp | 104 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()
112 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()
120 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
|
| H A D | Iterator.cpp | 184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition()
198 const IteratorPosition &Pos) { in setIteratorPosition()
221 IteratorPosition::getPosition(Cont, Sym)); in createIteratorPosition()
|
| H A D | IteratorModeling.cpp | 481 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
485 IteratorPosition::getPosition(Cont, Sym)); in handleComparison()
644 const IteratorPosition *OldPos = getIteratorPosition(State, OldVal); in handlePtrIncrOrDecr()
662 const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal); in handlePtrIncrOrDecr()
|