From 7ef67f663c4753774e0765fa410220d17b1c2902 Mon Sep 17 00:00:00 2001 From: burnus Date: Sun, 30 Jan 2011 18:17:29 +0000 Subject: [PATCH] 2011-01-31 Tobias Burnus PR fortran/47042 * resolve.c (resolve_fl_procedure): Reject stmt functions with pointer/allocatable attribute. 2011-01-31 Tobias Burnus PR fortran/47042 * gfortran.dg/stmt_func_1.f90: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169415 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/resolve.c | 8 ++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gfortran.dg/stmt_func_1.f90 | 12 ++++++++++++ 4 files changed, 31 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/stmt_func_1.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 888432ebfbe..ecdf2defe16 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,6 +1,12 @@ 2011-01-31 Tobias Burnus PR fortran/47042 + * resolve.c (resolve_fl_procedure): Reject stmt functions + with pointer/allocatable attribute. + +2011-01-31 Tobias Burnus + + PR fortran/47042 * interface.c (gfc_procedure_use): Add explicit interface check for pointer/allocatable functions. diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 55b5183776f..20be0d199d1 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -10231,6 +10231,14 @@ resolve_fl_procedure (gfc_symbol *sym, int mp_flag) return FAILURE; } + if (sym->attr.proc == PROC_ST_FUNCTION + && (sym->attr.allocatable || sym->attr.pointer)) + { + gfc_error ("Statement function '%s' at %L may not have pointer or " + "allocatable attribute", sym->name, &sym->declared_at); + return FAILURE; + } + /* 5.1.1.5 of the Standard: A function name declared with an asterisk char-len-param shall not be array-valued, pointer-valued, recursive or pure. ....snip... A character value of * may only be used in the diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4d432ef6d17..c8de82a755b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,11 @@ 2011-01-31 Tobias Burnus PR fortran/47042 + * gfortran.dg/stmt_func_1.f90: New. + +2011-01-31 Tobias Burnus + + PR fortran/47042 * gfortran.dg/interface_34.f90: New. 2011-01-30 Paul Thomas diff --git a/gcc/testsuite/gfortran.dg/stmt_func_1.f90 b/gcc/testsuite/gfortran.dg/stmt_func_1.f90 new file mode 100644 index 00000000000..072f21b1b63 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/stmt_func_1.f90 @@ -0,0 +1,12 @@ +! { dg-compile } +! { dg-options "" } +! +! PR fortran/47542 +! +integer, target, save :: tgt = 77 +integer, pointer ::ptr_stmt ! { dg-error "Statement function .ptr_stmt. at .1. may not have pointer or allocatable attribute" } +integer, allocatable :: alloc_stmt ! { dg-error "Statement function .alloc_stmt. at .1. may not have pointer or allocatable attribute" } + +ptr_stmt() = tgt +alloc_stmt() = 78 +end -- 2.11.4.GIT