Searched refs:getIteratorPosition (Results 1 – 9 of 9) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 200 if (getIteratorPosition(State, Call.getReturnValue())) in checkPostCall()
205 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
225 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
237 const auto *Pos = getIteratorPosition(State, Val); in checkBind()
242 const auto *OldPos = getIteratorPosition(State, Loc); in checkBind()
295 const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr())); in checkPostStmt()
457 const auto *LPos = getIteratorPosition(State, LVal); in handleComparison()
458 const auto *RPos = getIteratorPosition(State, RVal); in handleComparison()
481 LPos = getIteratorPosition(State, LVal); in handleComparison()
485 RPos = getIteratorPosition(State, RVal); in handleComparison()
[all …]
|
| H A D | STLAlgorithmModeling.cpp | 123 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 D | MismatchedIteratorChecker.cpp | 216 const auto *Pos = getIteratorPosition(State, Iter); in verifyMatch()
246 const auto *Pos1 = getIteratorPosition(State, Iter1); in verifyMatch()
261 const auto *Pos2 = getIteratorPosition(State, Iter2); in verifyMatch()
|
| H A D | IteratorRangeChecker.cpp | 199 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()
|
| H A D | ContainerModeling.cpp | 568 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 D | Iterator.cpp | 184 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition() function
227 const auto *Pos = getIteratorPosition(State, Iter); in advancePosition()
|
| H A D | DebugIteratorModeling.cpp | 93 const auto *Pos = getIteratorPosition(State, V); in analyzerIteratorDataField()
|
| H A D | InvalidatedIteratorChecker.cpp | 119 const auto *Pos = getIteratorPosition(State, Val); in verifyAccess()
|
| H A D | Iterator.h | 164 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
|