diff options
| author | Janus Weil <janus@gcc.gnu.org> | 2009-07-04 14:28:43 +0200 |
|---|---|---|
| committer | Janus Weil <janus@gcc.gnu.org> | 2009-07-04 14:28:43 +0200 |
| commit | a7c0b11d97006d41facce468923d7ca80a853b6c (patch) | |
| tree | c43ddb5d7d47d313a9915996d986aa2ca0533755 /gcc/fortran | |
| parent | 8d74e57440d6438928d581a52391e0cc302948e7 (diff) | |
| download | gcc-a7c0b11d97006d41facce468923d7ca80a853b6c.zip gcc-a7c0b11d97006d41facce468923d7ca80a853b6c.tar.gz gcc-a7c0b11d97006d41facce468923d7ca80a853b6c.tar.bz2 | |
re PR fortran/40593 (Proc-pointer returning function as actual argument)
2009-07-04 Janus Weil <janus@gcc.gnu.org>
PR fortran/40593
* interface.c (compare_actual_formal): Take care of proc-pointer-valued
functions as actual arguments.
* trans-expr.c (gfc_conv_procedure_call): Ditto.
* resolve.c (resolve_specific_f0): Use the correct ts.
2009-07-04 Janus Weil <janus@gcc.gnu.org>
PR fortran/40593
* gfortran.dg/proc_ptr_result_6.f90: New.
From-SVN: r149227
Diffstat (limited to 'gcc/fortran')
| -rw-r--r-- | gcc/fortran/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/fortran/interface.c | 5 | ||||
| -rw-r--r-- | gcc/fortran/resolve.c | 5 | ||||
| -rw-r--r-- | gcc/fortran/trans-expr.c | 9 |
4 files changed, 25 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 59ae427..c109345 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,11 @@ +2009-07-04 Janus Weil <janus@gcc.gnu.org> + + PR fortran/40593 + * interface.c (compare_actual_formal): Take care of proc-pointer-valued + functions as actual arguments. + * trans-expr.c (gfc_conv_procedure_call): Ditto. + * resolve.c (resolve_specific_f0): Use the correct ts. + 2009-07-02 Michael Matz <matz@suse.de> PR fortran/32131 diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index c03c06e..ca500f5 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1911,7 +1911,10 @@ compare_actual_formal (gfc_actual_arglist **ap, gfc_formal_arglist *formal, /* Satisfy 12.4.1.3 by ensuring that a procedure pointer actual argument is provided for a procedure pointer formal argument. */ if (f->sym->attr.proc_pointer - && !(a->expr->symtree->n.sym->attr.proc_pointer + && !((a->expr->expr_type == EXPR_VARIABLE + && a->expr->symtree->n.sym->attr.proc_pointer) + || (a->expr->expr_type == EXPR_FUNCTION + && a->expr->symtree->n.sym->result->attr.proc_pointer) || is_proc_ptr_comp (a->expr, NULL))) { if (where) diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 697c1ab..c106948 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -1828,7 +1828,10 @@ resolve_specific_f0 (gfc_symbol *sym, gfc_expr *expr) found: gfc_procedure_use (sym, &expr->value.function.actual, &expr->where); - expr->ts = sym->ts; + if (sym->result) + expr->ts = sym->result->ts; + else + expr->ts = sym->ts; expr->value.function.name = sym->name; expr->value.function.esym = sym; if (sym->as != NULL) diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c index 19ac139..e872f22 100644 --- a/gcc/fortran/trans-expr.c +++ b/gcc/fortran/trans-expr.c @@ -2640,6 +2640,15 @@ gfc_conv_procedure_call (gfc_se * se, gfc_symbol * sym, gfc_conv_expr (&parmse, e); parmse.expr = gfc_build_addr_expr (NULL_TREE, parmse.expr); } + else if (e->expr_type == EXPR_FUNCTION + && e->symtree->n.sym->result + && e->symtree->n.sym->result->attr.proc_pointer) + { + /* Functions returning procedure pointers. */ + gfc_conv_expr (&parmse, e); + if (fsym && fsym->attr.proc_pointer) + parmse.expr = gfc_build_addr_expr (NULL_TREE, parmse.expr); + } else { gfc_conv_expr_reference (&parmse, e); |