reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  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))) {