Lines Matching defs:svalBuilder

1305   SValBuilder &svalBuilder = C.getSValBuilder();
1306   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
2633   SValBuilder &svalBuilder = C.getSValBuilder();
2635   DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ(
2636       State, arg0Val, svalBuilder.makeNullWithType(arg0Expr->getType()));
2650       svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),
2651                          svalBuilder.makeIntValWithWidth(
2652                              svalBuilder.getContext().getSizeType(), 0));
2731   SValBuilder &svalBuilder = C.getSValBuilder();
2732   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);