Lines Matching defs:svalBuilder
881 SValBuilder &SvalBuilder = C.getSValBuilder();
883 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
886 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
1088 SValBuilder &svalBuilder = C.getSValBuilder();
1090 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1104 SValBuilder &svalBuilder = C.getSValBuilder();
1105 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
1107 svalBuilder.evalEQ(State, Extent, *DefinedSize);
1901 SValBuilder &svalBuilder = C.getSValBuilder();
1904 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
1919 svalBuilder.evalEQ(State, Arg1Val,
1920 svalBuilder.makeIntValWithPtrWidth(0, false));
1997 SValBuilder &svalBuilder = C.getSValBuilder();
2001 SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,
2002 svalBuilder.getContext().getSizeType());
2003 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);