Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ZeroVal

741     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
742     return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState);
2011   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
2013   return MallocMemAux(C, CE, TotalSize, zeroVal, State);