Home | History | Annotate | Download | only in Checkers

Lines Matching refs:CharTy

658     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
1686   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);