3090     const Symbol &ultimate{specific.GetUltimate()};  in ResolveSpecificsInGeneric()  local
3091     if (!ultimate.has<SubprogramDetails>() &&  in ResolveSpecificsInGeneric()
3092         !ultimate.has<SubprogramNameDetails>()) {  in ResolveSpecificsInGeneric()
3097       if (const auto *nd{ultimate.detailsIf<SubprogramNameDetails>()}) {  in ResolveSpecificsInGeneric()
3103         const auto *sd{ultimate.detailsIf<SubprogramDetails>()};  in ResolveSpecificsInGeneric()
3105         if (ultimate.owner().kind() != Scope::Kind::Module ||  in ResolveSpecificsInGeneric()
3111     if (symbolsSeen.insert(ultimate).second /*true if added*/) {  in ResolveSpecificsInGeneric()
3116     } else if (&specific == &ultimate) {  in ResolveSpecificsInGeneric()
3123           ultimate.name(), ultimate.owner().GetName().value(),  in ResolveSpecificsInGeneric()
5678   Symbol *ultimate{symbol ? &symbol->GetUltimate() : nullptr};  in ResolveDerivedType()  local
5679   auto *generic{ultimate ? ultimate->detailsIf<GenericDetails>() : nullptr};  in ResolveDerivedType()
5687       (generic && &ultimate->owner() == &outer)) {  in ResolveDerivedType()
6028         const Symbol &ultimate{symbol->GetUltimate()};  in Pre()  local
6029         if (ultimate.has<DerivedTypeDetails>()) {  in Pre()
6031               DerivedTypeSpec{name->source, ultimate});  in Pre()
6684   Symbol &ultimate{name.symbol->GetUltimate()};  in Initialization()  local
6685   if (IsAllocatable(ultimate)) {  in Initialization()
6702               } else if (IsPointer(ultimate)) {  in Initialization()
6703                 if (auto *object{ultimate.detailsIf<ObjectEntityDetails>()}) {  in Initialization()
6706                                ultimate.detailsIf<ProcEntityDetails>()}) {  in Initialization()
6719             ultimate.set(Symbol::Flag::InDataStmt);  in Initialization()
6723             ultimate.set(Symbol::Flag::InDataStmt);  in Initialization()
6733     Symbol &ultimate{name.symbol->GetUltimate()};  in PointerInitialization()  local
6734     if (!context().HasError(ultimate)) {  in PointerInitialization()
6735       if (IsPointer(ultimate)) {  in PointerInitialization()
6736         if (auto *details{ultimate.detailsIf<ObjectEntityDetails>()}) {  in PointerInitialization()
6747         context().SetError(ultimate);  in PointerInitialization()
6755     Symbol &ultimate{name.symbol->GetUltimate()};  in PointerInitialization()  local
6756     if (!context().HasError(ultimate)) {  in PointerInitialization()
6757       if (IsProcedurePointer(ultimate)) {  in PointerInitialization()
6758         auto &details{ultimate.get<ProcEntityDetails>()};  in PointerInitialization()
6773         context().SetError(ultimate);  in PointerInitialization()
6782     Symbol &ultimate{name.symbol->GetUltimate()};  in NonPointerInitialization()  local
6783     if (!context().HasError(ultimate) && !context().HasError(name.symbol)) {  in NonPointerInitialization()
6784       if (IsPointer(ultimate)) {  in NonPointerInitialization()
6787       } else if (auto *details{ultimate.detailsIf<ObjectEntityDetails>()}) {  in NonPointerInitialization()
6790         if (ultimate.owner().IsParameterizedDerivedType()) {  in NonPointerInitialization()
6795                   ultimate, expr, expr.thing.value().source)}) {  in NonPointerInitialization()
7127     Symbol &ultimate{existing->GetUltimate()};  in CreateGeneric()  local
7128     if (const auto *existingGeneric{ultimate.detailsIf<GenericDetails>()}) {  in CreateGeneric()
7134       } else if (existing == &ultimate) {  in CreateGeneric()
7142     } else if (ultimate.has<SubprogramDetails>() ||  in CreateGeneric()
7143         ultimate.has<SubprogramNameDetails>()) {  in CreateGeneric()
7144       genericDetails.set_specific(ultimate);  in CreateGeneric()
7145     } else if (ultimate.has<DerivedTypeDetails>()) {  in CreateGeneric()
7146       genericDetails.set_derivedType(ultimate);  in CreateGeneric()
7260     const Symbol &ultimate{symbol->GetUltimate()};  in CheckImport()  local
7261     if (&ultimate.owner() == &currScope()) {  in CheckImport()