Searched refs:invalidateIteratorPositions (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/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()
592 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleInsert()
596 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleInsert()
624 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleErase()
[all …]
|