32 class ContainerModeling  class
60   ContainerModeling() = default;
66   using NoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
68   using OneItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
70   using TwoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal, SVal,
75      &ContainerModeling::handleClear},
77      &ContainerModeling::handleAssign},
79      &ContainerModeling::handlePushBack},
81      &ContainerModeling::handlePushBack},
83      &ContainerModeling::handlePopBack},
85      &ContainerModeling::handlePushFront},
87      &ContainerModeling::handlePushFront},
89      &ContainerModeling::handlePopFront},
94      &ContainerModeling::handleInsert},
96      &ContainerModeling::handleInsert},
98      &ContainerModeling::handleErase},
100      &ContainerModeling::handleEraseAfter},
105      &ContainerModeling::handleErase},
107      &ContainerModeling::handleEraseAfter},
160 void ContainerModeling::checkPostCall(const CallEvent &Call,  in checkPostCall()
221 void ContainerModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
240 void ContainerModeling::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
259 void ContainerModeling::handleBegin(CheckerContext &C, const Expr *CE,  in handleBegin()
281 void ContainerModeling::handleEnd(CheckerContext &C, const Expr *CE,  in handleEnd()
303 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont,  in handleAssignment()
379 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont,  in handleAssign()
393 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont,  in handleClear()
422 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont,  in handlePushBack()
462 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont,  in handlePopBack()
502 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont,  in handlePushFront()
537 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont,  in handlePopFront()
573 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont,  in handleInsert()
604 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont,  in handleErase()
638 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1,  in handleErase()
674 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
695 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
709 const NoteTag *ContainerModeling::getChangeTag(CheckerContext &C,  in getChangeTag()
736 void ContainerModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
1068   mgr.registerChecker<ContainerModeling>();  in registerContainerModeling()