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);