Searched refs:getSizeInElements (Results 1 – 6 of 6) sorted by relevance
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
54 DefinedOrUnknownSVal NumElements = C.getStoreManager().getSizeInElements( in isArrayIndexOutOfBounds()
164 const auto &Size = Ctx.getStoreManager().getSizeInElements( in allRegionsUsedByWait()
154 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements() function
588 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,1348 RegionStoreManager::getSizeInElements(ProgramStateRef state, in getSizeInElements() function in RegionStoreManager