Lines Matching refs:setContainerData

389 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
1230 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssign()
1232 State = setContainerData(State, ContReg, in handleAssign()
1249 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssign()
1251 State = setContainerData(State, ContReg, in handleAssign()
1255 setContainerData(State, OldContReg, OldCData->newEnd(nullptr)); in handleAssign()
1326 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
1358 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
1363 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
1395 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
1430 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePopFront()
1453 State = setContainerData(State, Cont, CData->newEnd(nullptr)); in handleInsert()
1479 State = setContainerData(State, Cont, CData->newEnd(nullptr)); in handleErase()
1510 State = setContainerData(State, Cont, CData->newEnd(nullptr)); in handleErase()
2001 return setContainerData(State, Cont, CData); in createContainerBegin()
2004 return setContainerData(State, Cont, CData); in createContainerBegin()
2016 return setContainerData(State, Cont, CData); in createContainerEnd()
2019 return setContainerData(State, Cont, CData); in createContainerEnd()
2027 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData() function