Searched refs:invalidateIteratorPositions (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 121 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
124 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
431 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handlePushBack()
477 State = invalidateIteratorPositions(State, BackSym, BO_GE); in handlePopBack()
480 State = invalidateIteratorPositions(State, BackSym, BO_EQ); in handlePopBack()
540 State = invalidateIteratorPositions(State, BeginSym, BO_LE); in handlePopFront()
542 State = invalidateIteratorPositions(State, BeginSym, BO_EQ); in handlePopFront()
582 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleInsert()
614 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleErase()
649 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleErase()
[all …]
|