gcc/fortran/ChangeLog:
PR fortran/107995
* interface.cc (gfc_check_dummy_characteristics): Reject statement
function dummy arguments.
gcc/testsuite/ChangeLog:
PR fortran/107995
* gfortran.dg/pr107995.f90: New test.
if (s1 == NULL || s2 == NULL)
return s1 == s2 ? true : false;
+ if (s1->attr.proc == PROC_ST_FUNCTION || s2->attr.proc == PROC_ST_FUNCTION)
+ {
+ strncpy (errmsg, "Statement function", err_len);
+ return false;
+ }
+
/* Check type and rank. */
if (type_must_agree)
{
--- /dev/null
+! { dg-do compile }
+! PR fortran/107995
+! Contributed by G.Steinmetz
+
+program p
+ implicit none
+ integer :: n ! { dg-error "Self-referential argument" }
+ n(n) = 1 ! { dg-warning "Statement function" }
+ print *, n(n) ! { dg-error "Statement function" }
+end