Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp200 if (getIteratorPosition(State, Call.getReturnValue())) in checkPostCall()
237 const auto *Pos = getIteratorPosition(State, Val); in checkBind()
242 const auto *OldPos = getIteratorPosition(State, Loc); in checkBind()
453 const auto *LPos = getIteratorPosition(State, LVal); in handleComparison()
454 const auto *RPos = getIteratorPosition(State, RVal); in handleComparison()
477 LPos = getIteratorPosition(State, LVal); in handleComparison()
481 RPos = getIteratorPosition(State, RVal); in handleComparison()
540 const auto *Pos = getIteratorPosition(State, Iter); in handleIncrement()
550 const auto *NewPos = getIteratorPosition(NewState, Iter); in handleIncrement()
566 const auto *Pos = getIteratorPosition(State, Iter); in handleDecrement()
[all …]
H A DSTLAlgorithmModeling.cpp123 const auto *Pos = getIteratorPosition(State, Param); in Find()
127 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
145 Pos = getIteratorPosition(State, Param); in Find()
149 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.cpp193 const auto *Pos = getIteratorPosition(State, Val); in verifyDereference()
238 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr()
278 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
H A DContainerModeling.cpp568 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
599 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
632 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
633 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
663 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
684 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
685 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 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);