reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
717 if (getIteratorPosition(State, Call.getReturnValue())) 722 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(0))) { 723 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); 723 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); 725 State = removeIteratorPosition(State, Call.getArgSVal(0)); 725 State = removeIteratorPosition(State, Call.getArgSVal(0)); 727 C.addTransition(State); 739 if (const auto *Pos = getIteratorPosition(State, Call.getArgSVal(i))) {