Searched refs:IteratorPosition (Results 1 – 6 of 6) sorted by relevance
| /freebsd-13.1/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()
59 return IteratorPosition(NewCont, Valid, Offset); in reAssign()
62 bool operator==(const IteratorPosition &X) const {
66 bool operator!=(const IteratorPosition &X) const {
[all …]
|
| H A D | ContainerModeling.cpp | 937 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
940 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
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()
990 auto MatchCont = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
993 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
1008 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
[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()
|