Lines Matching refs:setContainerData

118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
333 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssignment()
335 State = setContainerData(State, ContReg, in handleAssignment()
352 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssignment()
354 State = setContainerData(State, ContReg, in handleAssignment()
358 setContainerData(State, OldContReg, OldCData->newBegin(nullptr)); in handleAssignment()
448 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
483 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
488 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
522 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
559 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePopFront()
588 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleInsert()
620 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
655 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handleErase()
863 return setContainerData(State, Cont, CData); in createContainerBegin()
867 return setContainerData(State, Cont, CData); in createContainerBegin()
886 return setContainerData(State, Cont, CData); in createContainerEnd()
890 return setContainerData(State, Cont, CData); in createContainerEnd()
893 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() function