diff options
| author | Janus Weil <janus@gcc.gnu.org> | 2014-12-15 17:10:50 +0100 |
|---|---|---|
| committer | Janus Weil <janus@gcc.gnu.org> | 2014-12-15 17:10:50 +0100 |
| commit | d06790a0b2e733c39033a32d00fa522ecb0308b1 (patch) | |
| tree | f6a623f1380191df2df21e1a6bc71aacfebefd31 /gcc | |
| parent | 5c8b1abd08b08d605cf963400560f22130464065 (diff) | |
| download | gcc-d06790a0b2e733c39033a32d00fa522ecb0308b1.zip gcc-d06790a0b2e733c39033a32d00fa522ecb0308b1.tar.gz gcc-d06790a0b2e733c39033a32d00fa522ecb0308b1.tar.bz2 | |
re PR fortran/63727 ([F03] Checks missing for proc-pointer components: Usage as actual argument when elemental)
2014-12-15 Janus Weil <janus@gcc.gnu.org>
PR fortran/63727
* resolve.c (resolve_actual_arglist): Check for elemental procedure
pointer components.
2014-12-15 Janus Weil <janus@gcc.gnu.org>
PR fortran/63727
* gfortran.dg/coarray_collectives_14.f90: Address FIXME item.
From-SVN: r218751
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/resolve.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/coarray_collectives_14.f90 | 2 |
4 files changed, 21 insertions, 1 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 8b10a48..0335824 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,5 +1,11 @@ 2014-12-15 Janus Weil <janus@gcc.gnu.org> + PR fortran/63727 + * resolve.c (resolve_actual_arglist): Check for elemental procedure + pointer components. + +2014-12-15 Janus Weil <janus@gcc.gnu.org> + PR fortran/63674 * resolve.c (check_pure_function): Rewording in error message. diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index fec36c9..ab13dc9 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -1740,6 +1740,7 @@ resolve_actual_arglist (gfc_actual_arglist *arg, procedure_type ptype, gfc_symbol *sym; gfc_symtree *parent_st; gfc_expr *e; + gfc_component *comp; int save_need_full_assumed_size; bool return_value = false; bool actual_arg_sav = actual_arg, first_actual_arg_sav = first_actual_arg; @@ -1967,6 +1968,14 @@ resolve_actual_arglist (gfc_actual_arglist *arg, procedure_type ptype, } } + comp = gfc_get_proc_ptr_comp(e); + if (comp && comp->attr.elemental) + { + gfc_error ("ELEMENTAL procedure pointer component %qs is not " + "allowed as an actual argument at %L", comp->name, + &e->where); + } + /* Fortran 2008, C1237. */ if (e->expr_type == EXPR_VARIABLE && gfc_is_coindexed (e) && gfc_has_ultimate_pointer (e)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a4b8957..808f5a2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-12-15 Janus Weil <janus@gcc.gnu.org> + + PR fortran/63727 + * gfortran.dg/coarray_collectives_14.f90: Address FIXME item. + 2014-12-15 Richard Biener <rguenther@suse.de> PR middle-end/64295 diff --git a/gcc/testsuite/gfortran.dg/coarray_collectives_14.f90 b/gcc/testsuite/gfortran.dg/coarray_collectives_14.f90 index c2f1939..6d53411 100644 --- a/gcc/testsuite/gfortran.dg/coarray_collectives_14.f90 +++ b/gcc/testsuite/gfortran.dg/coarray_collectives_14.f90 @@ -62,7 +62,7 @@ program test call co_reduce(caf, arg3) ! { dg-error "shall have two arguments" } call co_reduce(caf, dt%arg3) ! { dg-error "shall have two arguments" } call co_reduce(caf, elem) ! { dg-error "ELEMENTAL non-INTRINSIC procedure 'elem' is not allowed as an actual argument" } - call co_reduce(caf, dt%elem) ! { FIXME: "ELEMENTAL non-INTRINSIC procedure 'elem' is not allowed as an actual argument" } + call co_reduce(caf, dt%elem) ! { dg-error "ELEMENTAL procedure pointer component 'elem' is not allowed as an actual argument" } call co_reduce(caf, realo) ! { dg-error "A argument at .1. has type INTEGER.4. but the function passed as OPERATOR at .2. returns REAL.4." } call co_reduce(caf, dt%realo) ! { dg-error "A argument at .1. has type INTEGER.4. but the function passed as OPERATOR at .2. returns REAL.4." } call co_reduce(caf, int8) ! { dg-error "A argument at .1. has type INTEGER.4. but the function passed as OPERATOR at .2. returns INTEGER.8." } |