Searched refs:InnerPointerVal (Results 1 – 1 of 1) sorted by relevance
723 SVal InnerPointerVal; in handleGet() local724 std::tie(InnerPointerVal, State) = retrieveOrConjureInnerPtrVal( in handleGet()727 InnerPointerVal); in handleGet()844 SVal InnerPointerVal; in handleBoolConversion() local846 InnerPointerVal = *InnerValPtr; in handleBoolConversion()855 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()857 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()860 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()866 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()880 State->assume(InnerPointerVal.castAs<DefinedOrUnknownSVal>()); in handleBoolConversion()