Home
last modified time | relevance | path

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

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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()
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 …]
DSTLAlgorithmModeling.cpp122 const auto *Pos = getIteratorPosition(State, Param); in Find()
126 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
144 Pos = getIteratorPosition(State, Param); in Find()
148 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
DMismatchedIteratorChecker.cpp214 const auto *Pos = getIteratorPosition(State, Iter); in verifyMatch()
244 const auto *Pos1 = getIteratorPosition(State, Iter1); in verifyMatch()
259 const auto *Pos2 = getIteratorPosition(State, Iter2); in verifyMatch()
DIteratorRangeChecker.cpp199 const auto *Pos = getIteratorPosition(State, Val); in verifyDereference()
244 const auto *PosAfter = getIteratorPosition(StateAfter, LHS); in verifyRandomIncrOrDecr()
284 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
DContainerModeling.cpp582 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
613 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
646 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
647 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
677 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
698 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
699 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleEraseAfter()
DIterator.cpp184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition() function
227 const auto *Pos = getIteratorPosition(State, Iter); in advancePosition()
DDebugIteratorModeling.cpp92 const auto *Pos = getIteratorPosition(State, V); in analyzerIteratorDataField()
DInvalidatedIteratorChecker.cpp119 const auto *Pos = getIteratorPosition(State, Val); in verifyAccess()
DIterator.h168 const IteratorPosition *getIteratorPosition(ProgramStateRef State,