Home | History | Annotate | Download | only in Checkers

Lines Matching defs:zeroVal

1104   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1106   return MallocMemAux(C, CE, TotalSize, zeroVal, state);