Searched refs:BlockBytesVal (Results 1 – 1 of 1) sorted by relevance
1135 SVal BlockBytesVal = C.getSVal(BlockBytes); in evalMulForBufferSize() local1137 SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal, in evalMulForBufferSize()