Lines Matching refs:svalBuilder
1184 SValBuilder &svalBuilder = C.getSValBuilder();
1185 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1531 SValBuilder &svalBuilder = C.getSValBuilder();
1533 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1542 Size.castAs<DefinedOrUnknownSVal>(), svalBuilder);
2376 SValBuilder &svalBuilder = C.getSValBuilder();
2379 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
2393 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),
2394 svalBuilder.makeIntValWithPtrWidth(0, false));
2473 SValBuilder &svalBuilder = C.getSValBuilder();
2474 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);