diff options
author | Janus Weil <janus@gcc.gnu.org> | 2010-11-28 21:22:29 +0100 |
---|---|---|
committer | Janus Weil <janus@gcc.gnu.org> | 2010-11-28 21:22:29 +0100 |
commit | 8b29bd22d996cca6fe39e2fc44b4f8e106cd8574 (patch) | |
tree | f1f7d7d90c1033da9a4ebbb88e3039fc87786181 /gcc/fortran/resolve.c | |
parent | e4ba38383ab9c8c7fc81c861ed6d25000c15d2d5 (diff) | |
download | gcc-8b29bd22d996cca6fe39e2fc44b4f8e106cd8574.zip gcc-8b29bd22d996cca6fe39e2fc44b4f8e106cd8574.tar.gz gcc-8b29bd22d996cca6fe39e2fc44b4f8e106cd8574.tar.bz2 |
re PR fortran/46662 ([OOP] gfortran accepts "CALL polymorphic%abstract_type%ppc()")
2010-11-28 Janus Weil <janus@gcc.gnu.org>
PR fortran/46662
* resolve.c (update_ppc_arglist): Add check for abstract passed object.
2010-11-28 Janus Weil <janus@gcc.gnu.org>
PR fortran/46662
* gfortran.dg/proc_ptr_comp_pass_7.f90: New.
From-SVN: r167225
Diffstat (limited to 'gcc/fortran/resolve.c')
-rw-r--r-- | gcc/fortran/resolve.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 60a15d8..9d8ee23 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -5383,12 +5383,21 @@ update_ppc_arglist (gfc_expr* e) if (!po) return FAILURE; + /* F08:R739. */ if (po->rank > 0) { gfc_error ("Passed-object at %L must be scalar", &e->where); return FAILURE; } + /* F08:C611. */ + if (po->ts.type == BT_DERIVED && po->ts.u.derived->attr.abstract) + { + gfc_error ("Base object for procedure-pointer component call at %L is of" + " ABSTRACT type '%s'", &e->where, po->ts.u.derived->name); + return FAILURE; + } + gcc_assert (tb->pass_arg_num > 0); e->value.compcall.actual = update_arglist_pass (e->value.compcall.actual, po, tb->pass_arg_num, @@ -5413,6 +5422,7 @@ check_typebound_baseobject (gfc_expr* e) gcc_assert (base->ts.type == BT_DERIVED || base->ts.type == BT_CLASS); + /* F08:C611. */ if (base->ts.type == BT_DERIVED && base->ts.u.derived->attr.abstract) { gfc_error ("Base object for type-bound procedure call at %L is of" @@ -5420,7 +5430,8 @@ check_typebound_baseobject (gfc_expr* e) goto cleanup; } - /* If the procedure called is NOPASS, the base object must be scalar. */ + /* F08:C1230. If the procedure called is NOPASS, + the base object must be scalar. */ if (e->value.compcall.tbp->nopass && base->rank > 0) { gfc_error ("Base object for NOPASS type-bound procedure call at %L must" @@ -5428,7 +5439,7 @@ check_typebound_baseobject (gfc_expr* e) goto cleanup; } - /* FIXME: Remove once PR 41177 (this problem) is fixed completely. */ + /* FIXME: Remove once PR 43214 is fixed (TBP with non-scalar PASS). */ if (base->rank > 0) { gfc_error ("Non-scalar base object at %L currently not implemented", |