Searched refs:BufDynSize (Results 1 – 1 of 1) sorted by relevance
360 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in apply() local362 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()