diff options
| author | janus <janus@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-11-28 20:22:29 +0000 |
|---|---|---|
| committer | janus <janus@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-11-28 20:22:29 +0000 |
| commit | 23d37e3732b297855fe93ef375e0ee0ce7f9fccf (patch) | |
| tree | f1f7d7d90c1033da9a4ebbb88e3039fc87786181 /gcc/testsuite | |
| parent | 57f870620dffeac529644db0dd8042d1e79a71dd (diff) | |
| download | gcc-23d37e3732b297855fe93ef375e0ee0ce7f9fccf.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@167225 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_7.f90 | 65 |
2 files changed, 70 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 18492e868b4..4a6ad473180 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-11-28 Janus Weil <janus@gcc.gnu.org> + + PR fortran/46662 + * gfortran.dg/proc_ptr_comp_pass_7.f90: New. + 2010-11-28 Eric Botcazou <ebotcazou@adacore.com> * gnat.dg/aliasing2.adb (dg-final): Robustify pattern matching. diff --git a/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_7.f90 b/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_7.f90 new file mode 100644 index 00000000000..a15018db345 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_7.f90 @@ -0,0 +1,65 @@ +! { dg-do compile } +! +! PR 46662: [OOP] gfortran accepts "CALL polymorphic%abstract_type%ppc()" +! +! Contributed by Wolfgang Kilian <kilian@hep.physik.uni-siegen.de> +! cf. http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/a0857fa4a692d518 + +module types + implicit none + + type, abstract :: base_t + integer :: i = 0 + procedure(base_write_i), pointer :: write_procptr + contains + procedure :: write_i => base_write_i + end type base_t + + type, extends (base_t) :: t + end type t + +contains + + subroutine base_write_i (obj) + class (base_t), intent(in) :: obj + print *, obj%i + end subroutine base_write_i + +end module types + + +program main + use types + implicit none + + type(t) :: obj + + print *, "Direct printing" + obj%i = 1 + print *, obj%i + + print *, "Direct printing via parent" + obj%base_t%i = 2 + print *, obj%base_t%i + + print *, "Printing via TBP" + obj%i = 3 + call obj%write_i + + print *, "Printing via parent TBP" + obj%base_t%i = 4 + call obj%base_t%write_i ! { dg-error "is of ABSTRACT type" } + + print *, "Printing via OBP" + obj%i = 5 + obj%write_procptr => base_write_i + call obj%write_procptr + + print *, "Printing via parent OBP" + obj%base_t%i = 6 + obj%base_t%write_procptr => base_write_i + call obj%base_t%write_procptr ! { dg-error "is of ABSTRACT type" } + +end program main + +! { dg-final { cleanup-modules "types" } } |