Lines Matching defs:TotalSize

1137   SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,
1139   return TotalSize;
1325   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));
1326   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);
1337   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));
1338   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);
2642   SVal TotalSize = C.getSVal(Arg1);
2644     TotalSize = evalMulForBufferSize(C, Arg1, CE->getArg(2));
2645   if (!isa<DefinedOrUnknownSVal>(TotalSize))
2650       svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),
2667         C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family);
2693         MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family);
2733   SVal TotalSize =
2736   return MallocMemAux(C, Call, TotalSize, zeroVal, State, AF_Malloc);