Lines Matching refs:setContainerData
127 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
342 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssignment()
344 State = setContainerData(State, ContReg, in handleAssignment()
361 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssignment()
363 State = setContainerData(State, ContReg, in handleAssignment()
367 setContainerData(State, OldContReg, OldCData->newBegin(nullptr)); in handleAssignment()
457 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
492 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
497 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
531 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
568 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePopFront()
597 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleInsert()
629 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
664 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
868 return setContainerData(State, Cont, CData); in createContainerBegin()
872 return setContainerData(State, Cont, CData); in createContainerBegin()
891 return setContainerData(State, Cont, CData); in createContainerEnd()
895 return setContainerData(State, Cont, CData); in createContainerEnd()
898 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() function