Lines Matching refs:getIteratorPosition

345 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
347 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
711 if (getIteratorPosition(State, Call.getReturnValue())) in checkPostCall()
716 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { in checkPostCall()
733 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) { in checkPostCall()
746 const auto *Pos = getIteratorPosition(State, Val); in checkBind()
751 const auto *OldPos = getIteratorPosition(State, Loc); in checkBind()
764 getIteratorPosition(State, C.getSVal(MTE->GetTemporaryExpr())); in checkPostStmt()
899 const auto *LPos = getIteratorPosition(State, LVal); in handleComparison()
900 const auto *RPos = getIteratorPosition(State, RVal); in handleComparison()
919 const auto *Pos = getIteratorPosition(State, Val); in verifyDereference()
931 const auto *Pos = getIteratorPosition(State, Val); in verifyAccess()
946 const auto *Pos = getIteratorPosition(State, Iter); in handleIncrement()
964 const auto *Pos = getIteratorPosition(State, Iter); in handleDecrement()
1026 const auto *Pos = getIteratorPosition(State, LHS); in handleRandomIncrOrDecr()
1063 const auto *Pos = getIteratorPosition(State, LHS); in verifyRandomIncrOrDecr()
1103 const auto *Pos = getIteratorPosition(State, Iter); in verifyMatch()
1117 const auto *Pos1 = getIteratorPosition(State, Iter1); in verifyMatch()
1118 const auto *Pos2 = getIteratorPosition(State, Iter2); in verifyMatch()
1437 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
1462 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
1491 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
1492 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
1523 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
1544 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
1545 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleEraseAfter()
1947 const auto *LPos = getIteratorPosition(State, LVal); in processComparison()
1948 const auto *RPos = getIteratorPosition(State, RVal); in processComparison()
2032 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition() function
2045 const IteratorPosition *getIteratorPosition(ProgramStateRef State, in getIteratorPosition() function