From 0149d8ccb1cfe6fc118cc4b9aa8f06369b8bb25c Mon Sep 17 00:00:00 2001 From: Tobias Burnus Date: Wed, 10 Nov 2010 18:44:58 +0100 Subject: [PATCH] re PR fortran/46244 (gfc_compare_derived_types is buggy) 2010-11-10 Tobias Burnus PR fortran/46244 * resolve.c (resolve_fl_derived): Don't allow CLASS in sequence/BIND(C) types. 2010-11-10 Tobias Burnus PR fortran/46244 * gfortran.dg/class_30.f90: New. From-SVN: r166547 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/resolve.c | 7 +++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gfortran.dg/class_30.f90 | 19 +++++++++++++++++++ 4 files changed, 37 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/class_30.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e2af57f..d0b003d 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2010-11-10 Tobias Burnus + + PR fortran/46244 + * resolve.c (resolve_fl_derived): Don't allow CLASS in + sequence/BIND(C) types. + 2010-11-09 Jerry DeLisle Mikael Morin diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index f18d28c..2c9d6f6 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -11491,6 +11491,13 @@ resolve_fl_derived (gfc_symbol *sym) sym->name, &sym->declared_at) == FAILURE) return FAILURE; + if ((sym->attr.sequence || sym->attr.is_bind_c) && c->ts.type == BT_CLASS) + { + gfc_error ("Polymorphic component %s at %L in SEQUENCE or BIND(C) " + "type %s", c->name, &c->loc, sym->name); + return FAILURE; + } + if (sym->attr.sequence) { if (c->ts.type == BT_DERIVED && c->ts.u.derived->attr.sequence == 0) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f560f4b..dfb3abc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-11-10 Tobias Burnus + + PR fortran/46244 + * gfortran.dg/class_30.f90: New. + 2010-11-10 Tobias Burnus PR fortran/46223 diff --git a/gcc/testsuite/gfortran.dg/class_30.f90 b/gcc/testsuite/gfortran.dg/class_30.f90 new file mode 100644 index 0000000..f81e614 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/class_30.f90 @@ -0,0 +1,19 @@ +! { dg-do compile } +! +! PR fortran/46244 (comments 7 to 9) +! +! gfortran accepted CLASS in bind(C) and SEQUENCE types +! +type :: t + integer :: i +end type t + +type t2 + sequence + class(t), pointer :: x ! { dg-error "Polymorphic component x at .1. in SEQUENCE or BIND" } +end type t2 + +type, bind(C):: t3 + class(t), pointer :: y ! { dg-error "may not be C interoperable|Polymorphic component y at .1. in SEQUENCE or BIND" } +end type t3 +end -- 2.7.4