Lines Matching refs:getSValBuilder

306     const auto PtrVal = C.getSValBuilder().getConjuredHeapSymbolVal(  in evalCall()
365           C.getSValBuilder().makeZeroVal(Call.getResultType())));  in evalCall()
388       auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);  in evalCall()
443   auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(),  in retrieveOrConjureInnerPtrVal()
488   auto &Bldr = C.getSValBuilder();  in handleComparisionOp()
646   auto ValueToUpdate = C.getSValBuilder().makeNullWithType(ThisType);  in handleRelease()
752     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);  in handleAssignOp()
787     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);  in updateMovedSmartPointers()
814     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);  in updateMovedSmartPointers()
854     InnerPointerVal = C.getSValBuilder().conjureSymbolVal(  in handleBoolConversion()
861                             C.getSValBuilder().makeTruthVal(false));  in handleBoolConversion()
867                             C.getSValBuilder().makeTruthVal(true));  in handleBoolConversion()
874                         C.getSValBuilder().makeZeroVal(Call.getResultType())));  in handleBoolConversion()
881     auto NullVal = C.getSValBuilder().makeNullWithType(ThisType);  in handleBoolConversion()
886                                     C.getSValBuilder().makeTruthVal(false));  in handleBoolConversion()
897                                C.getSValBuilder().makeTruthVal(true));  in handleBoolConversion()