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,
436 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handlePushBack()
482 State = invalidateIteratorPositions(State, BackSym, BO_GE); in handlePopBack()
485 State = invalidateIteratorPositions(State, BackSym, BO_EQ); in handlePopBack()
545 State = invalidateIteratorPositions(State, BeginSym, BO_LE); in handlePopFront()
547 State = invalidateIteratorPositions(State, BeginSym, BO_EQ); in handlePopFront()
583 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleInsert()
587 State = invalidateIteratorPositions(State, EndSym, BO_GE); in handleInsert()
615 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); in handleErase()
[all …]
|