Searched refs:invalidateIteratorPositions (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 126 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
129 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
440 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handlePushBack()
486 State = invalidateIteratorPositions(State, BackSym, BO_GE); in handlePopBack()
489 State = invalidateIteratorPositions(State, BackSym, BO_EQ); in handlePopBack()
549 State = invalidateIteratorPositions(State, BeginSym, BO_LE); in handlePopFront()
551 State = invalidateIteratorPositions(State, BeginSym, BO_EQ); in handlePopFront()
587 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleInsert()
591 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleInsert()
619 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleErase()
[all …]
|