Home | History | Annotate | Download | only in Checkers

Lines Matching defs:TotalSize

2001   SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,
2005   return MallocMemAux(C, CE, TotalSize, zeroVal, State);