Hi all,
here is another small diagnostic enhancement for procedure pointer
components. Regtested on x86_64-unknown-linux-gnu. Ok for trunk?
(I'm not adding a dedicated test case, since coarray_collectives_14
already includes this case as a FIXME, which I now transformed into a
dg-error.)
Cheers,
Janus
2014-12-15 Janus Weil ja...@gcc.gnu.org
PR fortran/63727
* resolve.c (resolve_actual_arglist): Check for elemental procedure
pointer components.
2014-12-15 Janus Weil ja...@gcc.gnu.org
PR fortran/63727
* gfortran.dg/coarray_collectives_14.f90: Address FIXME item.
Index: gcc/fortran/resolve.c
===
--- gcc/fortran/resolve.c (Revision 218721)
+++ gcc/fortran/resolve.c (Arbeitskopie)
@@ -1740,6 +1740,7 @@ resolve_actual_arglist (gfc_actual_arglist *arg, p
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, p
}
}
+ 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))
Index: gcc/testsuite/gfortran.dg/coarray_collectives_14.f90
===
--- gcc/testsuite/gfortran.dg/coarray_collectives_14.f90(Revision
218721)
+++ gcc/testsuite/gfortran.dg/coarray_collectives_14.f90(Arbeitskopie)
@@ -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. }
