47     const auto &ultimate{GetAssociationRoot(symbol)};  in operator ()()  local
48     return IsNamedConstant(ultimate) || IsImpliedDoIndex(ultimate) ||  in operator ()()
49         IsInitialProcedureTarget(ultimate) ||  in operator ()()
50         ultimate.has<semantics::TypeParamDetails>() ||  in operator ()()
214     const Symbol &ultimate{symbol.GetUltimate()};  in operator ()()  local
216             ultimate.detailsIf<semantics::AssocEntityDetails>()}) {  in operator ()()
223               ultimate.name());  in operator ()()
228     } else if (!ultimate.attrs().test(semantics::Attr::TARGET)) {  in operator ()()
232             ultimate.name());  in operator ()()
236     } else if (!IsSaved(ultimate)) {  in operator ()()
240             ultimate.name());  in operator ()()
245       return CheckVarOrComponent(ultimate);  in operator ()()
295     const Symbol &ultimate{symbol.GetUltimate()};  in CheckVarOrComponent()  local
296     if (IsAllocatable(ultimate)) {  in CheckVarOrComponent()
300             ultimate.name());  in CheckVarOrComponent()
304     } else if (ultimate.Corank() > 0) {  in CheckVarOrComponent()
308             ultimate.name());  in CheckVarOrComponent()
332   const auto &ultimate{symbol.GetUltimate()};  in IsInitialProcedureTarget()  local
340             return !semantics::IsPointer(ultimate) && !proc.isDummy();  in IsInitialProcedureTarget()
344       ultimate.details());  in IsInitialProcedureTarget()
513     const auto &ultimate{symbol.GetUltimate()};  in operator ()()  local
515             ultimate.detailsIf<semantics::AssocEntityDetails>()}) {  in operator ()()
517     } else if (semantics::IsNamedConstant(ultimate) ||  in operator ()()
518         ultimate.owner().IsModule() || ultimate.owner().IsSubmodule()) {  in operator ()()
521         IsVariableName(ultimate)) { // C750, C754  in operator ()()
524           ultimate.name().ToString() + "'";  in operator ()()
525     } else if (IsDummy(ultimate)) {  in operator ()()
526       if (ultimate.attrs().test(semantics::Attr::OPTIONAL)) {  in operator ()()
528             ultimate.name().ToString() + "'";  in operator ()()
530           ultimate.attrs().test(semantics::Attr::INTENT_OUT)) {  in operator ()()
532             ultimate.name().ToString() + "'";  in operator ()()
533       } else if (ultimate.has<semantics::ObjectEntityDetails>()) {  in operator ()()
538     } else if (&symbol.owner() != &scope_ || &ultimate.owner() != &scope_) {  in operator ()()
541                    ultimate.detailsIf<semantics::ObjectEntityDetails>()}) {  in operator ()()
549       return "reference to local entity '"s + ultimate.name().ToString() + "'";  in operator ()()
598       const Symbol &ultimate{symbol->GetUltimate()};  in operator ()()  local
599       if (!semantics::IsPureProcedure(ultimate)) {  in operator ()()
600         return "reference to impure function '"s + ultimate.name().ToString() +  in operator ()()
603       if (semantics::IsStmtFunction(ultimate)) {  in operator ()()
605             ultimate.name().ToString() + "'";  in operator ()()
608         return "reference to function '"s + ultimate.name().ToString() +  in operator ()()
621           return "reference to function '"s + ultimate.name().ToString() +  in operator ()()
703     const auto &ultimate{symbol.GetUltimate()};  in operator ()()  local
704     if (ultimate.attrs().test(semantics::Attr::CONTIGUOUS)) {  in operator ()()
706     } else if (ultimate.Rank() == 0) {  in operator ()()
711     } else if (semantics::IsPointer(ultimate) ||  in operator ()()
712         semantics::IsAssumedShape(ultimate)) {  in operator ()()
715                    ultimate.detailsIf<semantics::ObjectEntityDetails>()}) {  in operator ()()
717     } else if (auto assoc{Base::operator()(ultimate)}) {  in operator ()()