Lines Matching defs:TotalSize

1252   SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,
1254   return TotalSize;
1438   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));
1439   State = MallocMemAux(C, Call, TotalSize, Init, State,
1450   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));
1451   State = MallocMemAux(C, Call, TotalSize, Init, State,
2851   SVal TotalSize = C.getSVal(Arg1);
2853     TotalSize = evalMulForBufferSize(C, Arg1, CE->getArg(2));
2854   if (!isa<DefinedOrUnknownSVal>(TotalSize))
2859       svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),
2876         C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family);
2903         MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family);
2943   SVal TotalSize =
2946   return MallocMemAux(C, Call, TotalSize, zeroVal, State,