Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ZeroVal

658     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
659     return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState);
1686   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1688   return MallocMemAux(C, CE, TotalSize, zeroVal, state);