448   SVal InnerPointerVal;  in handleGet()  local
450     InnerPointerVal = *InnerValPtr;  in handleGet()
453     InnerPointerVal = C.getSValBuilder().conjureSymbolVal(  in handleGet()
455     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);  in handleGet()
459                           InnerPointerVal);  in handleGet()
569   SVal InnerPointerVal;  in handleBoolConversion()  local
571     InnerPointerVal = *InnerValPtr;  in handleBoolConversion()
580     InnerPointerVal = C.getSValBuilder().conjureSymbolVal(  in handleBoolConversion()
582     State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);  in handleBoolConversion()
585   if (State->isNull(InnerPointerVal).isConstrainedTrue()) {  in handleBoolConversion()
591   } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) {  in handleBoolConversion()
605         State->assume(InnerPointerVal.castAs<DefinedOrUnknownSVal>());  in handleBoolConversion()