Searched refs:BufDynSize (Results 1 – 1 of 1) sorted by relevance
1261 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in apply() local1263 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()1300 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in describeArgumentValue() local1303 BufDynSize)) { in describeArgumentValue()