Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ZeroVal

731     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
732     return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState);
2003   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
2005   return MallocMemAux(C, CE, TotalSize, zeroVal, State);