Lines Matching refs:setContainerData

113 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
328 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssignment()
330 State = setContainerData(State, ContReg, in handleAssignment()
347 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssignment()
349 State = setContainerData(State, ContReg, in handleAssignment()
353 setContainerData(State, OldContReg, OldCData->newBegin(nullptr)); in handleAssignment()
443 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
478 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
483 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
517 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
554 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePopFront()
583 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleInsert()
615 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
650 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
854 return setContainerData(State, Cont, CData); in createContainerBegin()
858 return setContainerData(State, Cont, CData); in createContainerBegin()
877 return setContainerData(State, Cont, CData); in createContainerEnd()
881 return setContainerData(State, Cont, CData); in createContainerEnd()
884 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() function