Fortran: fix ICE on bad use of statement function [PR107995]

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.
This commit is contained in:
Steve Kargl 2022-12-10 22:17:15 +01:00 committed by Harald Anlauf
parent d9d8c9674a
commit 8f72249ff4
2 changed files with 16 additions and 0 deletions

View file

@ -1334,6 +1334,12 @@ gfc_check_dummy_characteristics (gfc_symbol *s1, gfc_symbol *s2,
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)
{

View file

@ -0,0 +1,10 @@
! { 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