1092             symbol.has<ProcEntityDetails>())) {  in DeclareEntity()
1111         symbol.has<ProcEntityDetails>()) {  in DeclareEntity()
1114     } else if (std::is_same_v<ProcEntityDetails, T> &&  in DeclareEntity()
1652                     [&](ProcEntityDetails &x) { x.set_passName(*passName_); },  in SetPassNameOn()
2339                         [&](const ProcEntityDetails &p) {  in NeedsType()
2360   if (symbol.has<ProcEntityDetails>() && !symbol.attrs().test(Attr::EXTERNAL)) {  in ApplyImplicitRules()
2473   if (symbol.has<ProcEntityDetails>()) {  in ConvertToProcEntity()
2476     symbol.set_details(ProcEntityDetails{});  in ConvertToProcEntity()
2485     symbol.set_details(ProcEntityDetails{std::move(*details)});  in ConvertToProcEntity()
2491     return useDetails->symbol().has<ProcEntityDetails>();  in ConvertToProcEntity()
2493     return hostDetails->symbol().has<ProcEntityDetails>();  in ConvertToProcEntity()
3543                 [](ProcEntityDetails &x) { x.set_isDummy(); },  in PostEntryStmt()
3678   } else if (const auto *proc{symbol.detailsIf<ProcEntityDetails>()}; proc &&  in HandlePreviousCalls()
3764     if (prev->attrs().test(Attr::EXTERNAL) && prev->has<ProcEntityDetails>()) {  in PushBlockDataScope()
4227                      interfaceSymbol->detailsIf<ProcEntityDetails>()}) {  in HasCycle()
4239   Symbol &symbol{DeclareEntity<ProcEntityDetails>(name, attrs)};  in DeclareProcEntity()
4240   if (auto *details{symbol.detailsIf<ProcEntityDetails>()}) {  in DeclareProcEntity()
5341   } else if (symbol.has<ProcEntityDetails>() &&  in CheckSaveAttr()
5495     ProcEntityDetails details;  in HandleUnrestrictedSpecificIntrinsicFunction()
6706                                ultimate.detailsIf<ProcEntityDetails>()}) {  in Initialization()
6758         auto &details{ultimate.get<ProcEntityDetails>()};  in PointerInitialization()
6908         if (symbol->has<ProcEntityDetails>()) {  in NoteExecutablePartCall()
6950   } else if (symbol.has<ProcEntityDetails>()) {  in SetProcFlag()
7036   } else if (const auto *details{symbol.detailsIf<ProcEntityDetails>()}) {  in NeedsExplicitType()