Searched refs:getSizeInElements (Results 1 – 4 of 4) sorted by relevance
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkLocation()
59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), in checkPreStmt()
106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements() function
564 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,1301 RegionStoreManager::getSizeInElements(ProgramStateRef state, in getSizeInElements() function in RegionStoreManager