Home
last modified time | relevance | path

Searched refs:getIteratorPosition (Results 1 – 9 of 9) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp201 if (getIteratorPosition(State, Call.getReturnValue())) in checkPostCall()
206 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
226 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
238 const auto *Pos = getIteratorPosition(State, Val); in checkBind()
243 const auto *OldPos = getIteratorPosition(State, Loc); in checkBind()
296 const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr())); in checkPostStmt()
454 const auto *LPos = getIteratorPosition(State, LVal); in handleComparison()
455 const auto *RPos = getIteratorPosition(State, RVal); in handleComparison()
478 LPos = getIteratorPosition(State, LVal); in handleComparison()
482 RPos = getIteratorPosition(State, RVal); in handleComparison()
[all …]
H A DSTLAlgorithmModeling.cpp144 const auto *Pos = getIteratorPosition(State, Param); in Find()
148 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
166 Pos = getIteratorPosition(State, Param); in Find()
170 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
H A DMismatchedIteratorChecker.cpp206 const auto *Pos = getIteratorPosition(State, Iter); in verifyMatch()
235 const auto *Pos1 = getIteratorPosition(State, Iter1); in verifyMatch()
250 const auto *Pos2 = getIteratorPosition(State, Iter2); in verifyMatch()
H A DIteratorRangeChecker.cpp198 const auto *Pos = getIteratorPosition(State, Val); in verifyDereference()
243 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr()
283 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
H A DContainerModeling.cpp573 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
604 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
637 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
638 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
668 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
689 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
690 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleEraseAfter()
H A DIterator.cpp184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val) { in getIteratorPosition() function
225 const auto *Pos = getIteratorPosition(State, Iter); in advancePosition()
H A DInvalidatedIteratorChecker.cpp115 const auto *Pos = getIteratorPosition(State, Val); in verifyAccess()
H A DDebugIteratorModeling.cpp86 const auto *Pos = getIteratorPosition(State, V); in analyzerIteratorDataField()
H A DIterator.h164 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val);