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()837 SVal InnerPointerVal; in handleBoolConversion() local839 InnerPointerVal = *InnerValPtr; in handleBoolConversion()848 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()850 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()853 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()859 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()873 State->assume(InnerPointerVal.castAs<DefinedOrUnknownSVal>()); in handleBoolConversion()