diff options
| author | Tobias Burnus <burnus@net-b.de> | 2013-01-07 09:36:16 +0100 |
|---|---|---|
| committer | Tobias Burnus <burnus@gcc.gnu.org> | 2013-01-07 09:36:16 +0100 |
| commit | 55d8631bfab9a9abfb52a7f1ef79b588243a8919 (patch) | |
| tree | f99d0a7046c7f966d4961c0524aab97a55725570 /gcc/fortran/resolve.c | |
| parent | 9bdae0133df72dab6604c2b9b25f6411e4c41e8b (diff) | |
| download | gcc-55d8631bfab9a9abfb52a7f1ef79b588243a8919.zip gcc-55d8631bfab9a9abfb52a7f1ef79b588243a8919.tar.gz gcc-55d8631bfab9a9abfb52a7f1ef79b588243a8919.tar.bz2 | |
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)
2012-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* resolve.c (resolve_select_type): Reject intrinsic types for
a non-unlimited-polymorphic selector.
2012-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* gfortran.dg/select_type_32.f90: New.
From-SVN: r194962
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index b81f231..70bfae6 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -8388,12 +8388,16 @@ resolve_select_type (gfc_code *code, gfc_namespace *old_ns) } /* Check F03:C816. */ - if ((c->ts.type == BT_DERIVED || c->ts.type == BT_CLASS) - && !selector_type->attr.unlimited_polymorphic - && !gfc_type_is_extension_of (selector_type, c->ts.u.derived)) + if (c->ts.type != BT_UNKNOWN && !selector_type->attr.unlimited_polymorphic + && ((c->ts.type != BT_DERIVED && c->ts.type != BT_CLASS) + || !gfc_type_is_extension_of (selector_type, c->ts.u.derived))) { - gfc_error ("Derived type '%s' at %L must be an extension of '%s'", - c->ts.u.derived->name, &c->where, selector_type->name); + if (c->ts.type == BT_DERIVED || c->ts.type == BT_CLASS) + gfc_error ("Derived type '%s' at %L must be an extension of '%s'", + c->ts.u.derived->name, &c->where, selector_type->name); + else + gfc_error ("Unexpected intrinsic type '%s' at %L", + gfc_basic_typename (c->ts.type), &c->where); error++; continue; } |