Lines Matching refs:getSValBuilder
308 const auto PtrVal = C.getSValBuilder().getConjuredHeapSymbolVal( in evalCall()
367 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
390 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in evalCall()
445 auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
490 auto &Bldr = C.getSValBuilder(); in handleComparisionOp()
647 auto ValueToUpdate = C.getSValBuilder().makeNullWithType(ThisType); in handleRelease()
753 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in handleAssignOp()
788 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
815 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
855 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
862 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
868 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
875 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in handleBoolConversion()
882 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in handleBoolConversion()
887 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
898 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()