diff options
| author | Janus Weil <janus@gcc.gnu.org> | 2010-07-29 22:58:57 +0200 |
|---|---|---|
| committer | Janus Weil <janus@gcc.gnu.org> | 2010-07-29 22:58:57 +0200 |
| commit | 6a68e29dc51525dc6bb8e6e7cb4df6cfa060383c (patch) | |
| tree | 983147dc074eee11f5c8e5fb78bfc200846aba42 | |
| parent | 0f953f83c264764697ed852c41c5cfca66147883 (diff) | |
| download | gcc-6a68e29dc51525dc6bb8e6e7cb4df6cfa060383c.zip gcc-6a68e29dc51525dc6bb8e6e7cb4df6cfa060383c.tar.gz gcc-6a68e29dc51525dc6bb8e6e7cb4df6cfa060383c.tar.bz2 | |
re PR fortran/44962 ([OOP] ICE with specification expression SIZE(<CLASS>))
2010-07-29 Janus Weil <janus@gcc.gnu.org>
PR fortran/44962
* resolve.c (resolve_fl_derived): Call gfc_resolve_array_spec.
2010-07-29 Janus Weil <janus@gcc.gnu.org>
PR fortran/44962
* gfortran.dg/typebound_proc_17.f03: New.
From-SVN: r162695
| -rw-r--r-- | gcc/fortran/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fortran/resolve.c | 24 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/typebound_proc_17.f03 | 26 |
4 files changed, 40 insertions, 20 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f22ed11..ff7549c 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,5 +1,10 @@ 2010-07-29 Janus Weil <janus@gcc.gnu.org> + PR fortran/44962 + * resolve.c (resolve_fl_derived): Call gfc_resolve_array_spec. + +2010-07-29 Janus Weil <janus@gcc.gnu.org> + PR fortran/45004 * trans-stmt.h (gfc_trans_class_init_assign): New prototype. (gfc_trans_class_assign): Modified prototype. diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index dab533d..55cbaf0 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -10813,7 +10813,6 @@ resolve_fl_derived (gfc_symbol *sym) { gfc_symbol* super_type; gfc_component *c; - int i; super_type = gfc_get_derived_super_type (sym); @@ -11169,25 +11168,10 @@ resolve_fl_derived (gfc_symbol *sym) && sym != c->ts.u.derived) add_dt_to_dt_list (c->ts.u.derived); - if (c->attr.pointer || c->attr.proc_pointer || c->attr.allocatable - || c->as == NULL) - continue; - - for (i = 0; i < c->as->rank; i++) - { - if (c->as->lower[i] == NULL - || (resolve_index_expr (c->as->lower[i]) == FAILURE) - || !gfc_is_constant_expr (c->as->lower[i]) - || c->as->upper[i] == NULL - || (resolve_index_expr (c->as->upper[i]) == FAILURE) - || !gfc_is_constant_expr (c->as->upper[i])) - { - gfc_error ("Component '%s' of '%s' at %L must have " - "constant array bounds", - c->name, sym->name, &c->loc); - return FAILURE; - } - } + if (gfc_resolve_array_spec (c->as, !(c->attr.pointer + || c->attr.proc_pointer + || c->attr.allocatable)) == FAILURE) + return FAILURE; } /* Resolve the type-bound procedures. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 060b879..76f8a34 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-07-29 Janus Weil <janus@gcc.gnu.org> + PR fortran/44962 + * gfortran.dg/typebound_proc_17.f03: New. + +2010-07-29 Janus Weil <janus@gcc.gnu.org> + PR fortran/45004 * gfortran.dg/move_alloc_2.f90: New. diff --git a/gcc/testsuite/gfortran.dg/typebound_proc_17.f03 b/gcc/testsuite/gfortran.dg/typebound_proc_17.f03 new file mode 100644 index 0000000..5c1a1c3 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/typebound_proc_17.f03 @@ -0,0 +1,26 @@ +! { dg-do compile } +! +! PR 44962: [OOP] ICE with specification expression SIZE(<CLASS>) +! +! Contributed by Satish.BD <bdsatish@gmail.com> + + +module array + +type :: t_array + real, dimension(10) :: coeff +contains + procedure :: get_coeff +end type t_array + +contains + +function get_coeff(self) result(coeff) + class(t_array), intent(in) :: self + real, dimension(size(self%coeff)) :: coeff !! The SIZE here carashes !! +end function get_coeff + +end module array + + +! { dg-final { cleanup-modules "array" } } |