Initial checkin of GCC 4.9.0 from trunk (r208799).

Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba

1 files changed, 52 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/testsuite/gfortran.dg/abstract_type_6.f03 b/gcc-4.9/gcc/testsuite/gfortran.dg/abstract_type_6.f03
new file mode 100644
index 000000000..5eefcb836
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gfortran.dg/abstract_type_6.f03
@@ -0,0 +1,52 @@
+! { dg-do compile }
+! Test the fix for PR43266, in which an ICE followed correct error messages.
+!
+! Contributed by Tobias Burnus <burnus@gcc.gnu.org>
+! Reported in http://groups.google.ca/group/comp.lang.fortran/browse_thread/thread/f5ec99089ea72b79
+!
+!----------------
+! library code
+
+module m
+TYPE, ABSTRACT :: top
+CONTAINS
+   PROCEDURE(xxx), DEFERRED :: proc_a ! { dg-error "must be explicit" }
+   ! some useful default behaviour
+   PROCEDURE :: proc_c => top_c ! { dg-error "must be a module procedure" }
+END TYPE top
+
+! Concrete middle class with useful behaviour
+TYPE, EXTENDS(top) :: middle
+CONTAINS
+   ! do nothing, empty proc just to make middle concrete
+   PROCEDURE :: proc_a => dummy_middle_a ! { dg-error "must be a module procedure" }
+   ! some useful default behaviour
+   PROCEDURE :: proc_b => middle_b ! { dg-error "must be a module procedure" }
+END TYPE middle
+
+!----------------
+! client code
+
+TYPE, EXTENDS(middle) :: bottom
+CONTAINS
+   ! useful proc to satisfy deferred procedure in top. Because we've
+   ! extended middle we wouldn't get told off if we forgot this.
+   PROCEDURE :: proc_a => bottom_a  ! { dg-error "must be a module procedure" }
+   ! calls middle%proc_b and then provides extra behaviour
+   PROCEDURE :: proc_b => bottom_b
+   ! calls top_c and then provides extra behaviour
+   PROCEDURE :: proc_c => bottom_c
+END TYPE bottom
+contains
+SUBROUTINE bottom_b(obj)
+   CLASS(Bottom) :: obj
+   CALL obj%middle%proc_b ! { dg-error "should be a SUBROUTINE" }
+   ! other stuff
+END SUBROUTINE bottom_b
+
+SUBROUTINE bottom_c(obj)
+   CLASS(Bottom) :: obj
+   CALL top_c(obj)
+   ! other stuff
+END SUBROUTINE bottom_c 
+end module