Searched refs:getSizeInElements (Results 1 – 5 of 5) sorted by relevance
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
164 const auto &Size = Ctx.getStoreManager().getSizeInElements( in allRegionsUsedByWait()
106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements() function
566 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,1301 RegionStoreManager::getSizeInElements(ProgramStateRef state, in getSizeInElements() function in RegionStoreManager