Searched refs:InnerPointerVal (Results 1 – 1 of 1) sorted by relevance
722 SVal InnerPointerVal; in handleGet() local723 std::tie(InnerPointerVal, State) = retrieveOrConjureInnerPtrVal( in handleGet()726 InnerPointerVal); in handleGet()843 SVal InnerPointerVal; in handleBoolConversion() local845 InnerPointerVal = *InnerValPtr; in handleBoolConversion()854 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()856 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()859 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()865 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()879 State->assume(InnerPointerVal.castAs<DefinedOrUnknownSVal>()); in handleBoolConversion()