Initial checkin of GCC 4.9.0 from trunk (r208799).

Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba

1 files changed, 44 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/testsuite/gfortran.dg/select_type_17.f03 b/gcc-4.9/gcc/testsuite/gfortran.dg/select_type_17.f03
new file mode 100644
index 000000000..af2a489d9
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gfortran.dg/select_type_17.f03
@@ -0,0 +1,44 @@
+! { dg-do compile }
+! { dg-options "-std=f2003" }
+
+! PR fortran/44044
+! Definability check for select type to expression.
+! This is "bonus feature #2" from comment #3 of the PR.
+
+! Contributed by Janus Weil, janus@gcc.gnu.org.
+
+implicit none
+
+type :: t1
+  integer :: i
+end type
+
+type, extends(t1) :: t2
+end type
+
+type(t1),target :: x1
+type(t2),target :: x2
+
+select type ( y => fun(1) )
+type is (t1)
+  y%i = 1 ! { dg-error "variable definition context" }
+type is (t2)
+  y%i = 2 ! { dg-error "variable definition context" }
+end select
+
+contains
+
+  function fun(i)
+    class(t1),pointer :: fun
+    integer :: i
+    if (i>0) then
+      fun => x1
+    else if (i<0) then
+      fun => x2
+    else
+      fun => NULL()
+    end if
+  end function
+
+end
+