Searched refs:invalidateIteratorPositions (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 135 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
138 ProgramStateRef invalidateIteratorPositions(ProgramStateRef State,
445 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handlePushBack()
491 State = invalidateIteratorPositions(State, BackSym, BO_GE); in handlePopBack()
494 State = invalidateIteratorPositions(State, BackSym, BO_EQ); in handlePopBack()
554 State = invalidateIteratorPositions(State, BeginSym, BO_LE); in handlePopFront()
556 State = invalidateIteratorPositions(State, BeginSym, BO_EQ); in handlePopFront()
596 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleInsert()
628 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleErase()
663 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleErase()
[all …]
|