Lines Matching refs:getContainerData
387 const ContainerData *getContainerData(ProgramStateRef State,
1202 const auto CData = getContainerData(State, ContReg); in handleAssign()
1213 const auto OldCData = getContainerData(State, OldContReg); in handleAssign()
1279 const auto CData = getContainerData(State, ContReg); in handleClear()
1309 const auto CData = getContainerData(State, ContReg); in handlePushBack()
1339 const auto CData = getContainerData(State, ContReg); in handlePopBack()
1382 const auto CData = getContainerData(State, ContReg); in handlePushFront()
1410 const auto CData = getContainerData(State, ContReg); in handlePopFront()
1450 if (const auto *CData = getContainerData(State, Cont)) { in handleInsert()
1476 if (const auto *CData = getContainerData(State, Cont)) { in handleErase()
1507 if (const auto *CData = getContainerData(State, Cont)) { in handleErase()
1976 const auto *CDataPtr = getContainerData(State, Cont); in getContainerBegin()
1984 const auto *CDataPtr = getContainerData(State, Cont); in getContainerEnd()
1995 const auto *CDataPtr = getContainerData(State, Cont); in createContainerBegin()
2010 const auto *CDataPtr = getContainerData(State, Cont); in createContainerEnd()
2022 const ContainerData *getContainerData(ProgramStateRef State, in getContainerData() function
2319 const auto *CData = getContainerData(State, Cont); in isPastTheEnd()
2335 const auto *CData = getContainerData(State, Cont); in isAheadOfRange()
2351 const auto *CData = getContainerData(State, Cont); in isBehindPastTheEnd()