Searched refs:getDynamicExtentWithOffset (Results 1 – 4 of 4) sorted by relevance
54 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV);
59 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) { in getDynamicExtentWithOffset() function
67 return getDynamicExtentWithOffset(C.getState(), C.getSVal(Place)); in getExtentSizeOfPlace()
360 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in apply()