Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp202 if (getIteratorPosition(State, Call.getReturnValue())) in checkPostCall()
207 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
227 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
239 const auto *Pos = getIteratorPosition(State, Val); in checkBind()
244 const auto *OldPos = getIteratorPosition(State, Loc); in checkBind()
297 const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr())); in checkPostStmt()
458 const auto *LPos = getIteratorPosition(State, LVal); in handleComparison()
459 const auto *RPos = getIteratorPosition(State, RVal); in handleComparison()
482 LPos = getIteratorPosition(State, LVal); in handleComparison()
486 RPos = getIteratorPosition(State, RVal); in handleComparison()
[all …]
H A DSTLAlgorithmModeling.cpp147 const auto *Pos = getIteratorPosition(State, Param); in Find()
151 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
169 Pos = getIteratorPosition(State, Param); in Find()
173 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
H A DMismatchedIteratorChecker.cpp212 const auto *Pos = getIteratorPosition(State, Iter); in verifyMatch()
241 const auto *Pos1 = getIteratorPosition(State, Iter1); in verifyMatch()
256 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.cpp577 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
608 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
641 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
642 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
672 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
693 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
694 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleEraseAfter()
H A DIterator.cpp184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val) { in getIteratorPosition() function
226 const auto *Pos = getIteratorPosition(State, Iter); in advancePosition()
H A DDebugIteratorModeling.cpp86 const auto *Pos = getIteratorPosition(State, V); in analyzerIteratorDataField()
H A DInvalidatedIteratorChecker.cpp115 const auto *Pos = getIteratorPosition(State, Val); in verifyAccess()
H A DIterator.h164 const IteratorPosition *getIteratorPosition(ProgramStateRef State, SVal Val);