Lines Matching defs:InnerPointerVal

723   SVal InnerPointerVal;
724   std::tie(InnerPointerVal, State) = retrieveOrConjureInnerPtrVal(
727                           InnerPointerVal);
844   SVal InnerPointerVal;
846     InnerPointerVal = *InnerValPtr;
855     InnerPointerVal = C.getSValBuilder().conjureSymbolVal(
857     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);
860   if (State->isNull(InnerPointerVal).isConstrainedTrue()) {
866   } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) {
880         State->assume(InnerPointerVal.castAs<DefinedOrUnknownSVal>());