32 using characteristics::Procedure;
51   const Procedure *Characterize(const Symbol &);
77       SourceName, GenericKind, const Symbol &, const Procedure &);
81       const SourceName &, const Symbol &, const Procedure &, std::size_t);
82   bool CheckDefinedAssignment(const Symbol &, const Procedure &);
145   std::map<SymbolRef, std::optional<Procedure>, SymbolAddressCompare>
156   void Add(const Symbol &, GenericKind, const Symbol &, const Procedure &);
168     const Procedure &procedure;
1032   const Procedure *proc{Characterize(subroutine)};  in CheckFinal()
1132   const Procedure *p1{Characterize(f1)};  in CheckDistinguishableFinals()
1133   const Procedure *p2{Characterize(f2)};  in CheckDistinguishableFinals()
1193     if (const Procedure * procedure{Characterize(specific)}) {  in CheckSpecificsAreDistinguishable()
1200 static bool ConflictsWithIntrinsicAssignment(const Procedure &proc) {  in ConflictsWithIntrinsicAssignment()
1208     const GenericKind &kind, const Procedure &proc) {  in ConflictsWithIntrinsicOperator()
1250     const Symbol &specific, const Procedure &proc) {  in CheckDefinedOperator()
1256       [&](SourceName opName, const Symbol &specific, const Procedure &proc) {  in CheckDefinedOperator()
1325     const Symbol &symbol, const Procedure &proc, std::size_t pos) {  in CheckDefinedOperatorArg()
1353     const Symbol &specific, const Procedure &proc) {  in CheckDefinedAssignment()
1462 const Procedure *CheckHelper::Characterize(const Symbol &symbol) {  in Characterize()
1466         Procedure::Characterize(symbol, context_.foldingContext()))};  in Characterize()
1840       if (const Procedure * proc{Characterize(specific)}) {  in CheckGenericOps()
2241   const Procedure *proc1{checkHelper.Characterize(symbol1)};  in Check()
2242   const Procedure *proc2{checkHelper.Characterize(symbol2)};  in Check()
2246   if (proc1->attrs.test(Procedure::Attr::Pure) !=  in Check()
2247       proc2->attrs.test(Procedure::Attr::Pure)) {  in Check()
2251   if (proc1->attrs.test(Procedure::Attr::Elemental) !=  in Check()
2252       proc2->attrs.test(Procedure::Attr::Elemental)) {  in Check()
2256   if (proc1->attrs.test(Procedure::Attr::BindC) !=  in Check()
2257       proc2->attrs.test(Procedure::Attr::BindC)) {  in Check()
2417     const Symbol &specific, const Procedure &procedure) {  in Add()