Lines Matching defs:proc1
3701 const Procedure *proc1{checkHelper.Characterize(symbol1)};
3703 if (!proc1 || !proc2) {
3706 if (proc1->attrs.test(Procedure::Attr::Pure) !=
3711 if (proc1->attrs.test(Procedure::Attr::Elemental) !=
3716 if (proc1->attrs.test(Procedure::Attr::BindC) !=
3721 if (proc1->functionResult && proc2->functionResult) {
3723 if (!proc1->functionResult->IsCompatibleWith(
3753 *arg1, *arg2, proc1->dummyArguments[i], proc2->dummyArguments[i]);
3767 [&](const DummyProcedure &proc1, const DummyProcedure &proc2) {
3768 CheckDummyProcedure(symbol1, symbol2, proc1, proc2);
3806 const Symbol &symbol2, const DummyProcedure &proc1,
3809 if (!CheckSameIntent(symbol1, symbol2, proc1.intent, proc2.intent)) {
3810 } else if (!CheckSameAttrs(symbol1, symbol2, proc1.attrs, proc2.attrs)) {
3811 } else if (!proc2.IsCompatibleWith(proc1, &whyNot)) {
3815 } else if (proc1 != proc2) {
3920 const SourceName &name, GenericKind kind, const Symbol &proc1,
3938 std::string name1{proc1.name().ToString()};
3941 // proc1 and proc2 may come from different scopes so qualify their names
3942 if (proc1.owner().IsDerivedType()) {
3943 name1 = proc1.owner().GetName()->ToString() + '%' + name1;
3958 msg = &context_.Say(*GetTopLevelUnitContaining(proc1).GetName(),
3966 AttachDeclaration(*msg, scope, proc1);