aboutsummaryrefslogtreecommitdiff
path: root/gcc/fortran/interface.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/fortran/interface.c')
-rw-r--r--gcc/fortran/interface.c18
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index 521876ebaa5..f1d968dcdaa 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -217,6 +217,13 @@ gfc_match_interface (void)
&& gfc_add_generic (&sym->attr, sym->name, NULL) == FAILURE)
return MATCH_ERROR;
+ if (sym->attr.dummy)
+ {
+ gfc_error ("Dummy procedure '%s' at %C cannot have a "
+ "generic interface", sym->name);
+ return MATCH_ERROR;
+ }
+
current_interface.sym = gfc_new_block = sym;
break;
@@ -1296,6 +1303,17 @@ compare_actual_formal (gfc_actual_arglist ** ap,
}
}
+ if (f->sym->attr.flavor == FL_PROCEDURE
+ && f->sym->attr.pure
+ && a->expr->ts.type == BT_PROCEDURE
+ && !a->expr->symtree->n.sym->attr.pure)
+ {
+ if (where)
+ gfc_error ("Expected a PURE procedure for argument '%s' at %L",
+ f->sym->name, &a->expr->where);
+ return 0;
+ }
+
if (f->sym->as
&& f->sym->as->type == AS_ASSUMED_SHAPE
&& a->expr->expr_type == EXPR_VARIABLE