2009-11-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>

	PR fortran/42008
	* gfortran.dg/pure_initializer_2.f90: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154530 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cc5e804..8a7e556 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
+
+       PR fortran/42008
+       * gfortran.dg/pure_initializer_2.f90: New test.
+
 2009-11-23  Jason Merrill  <jason@redhat.com>
 
        * g++.dg/tc1/dr147.C: Check for helpful messages. Add DR 318 tests.

diff --git a/gcc/testsuite/gfortran.dg/pure_initializer_2.f90 b/gcc/testsuite/gfortran.dg/pure_initializer_2.f90
new file mode 100644 (file)
index 0000000..4fd2556
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pure_initializer_2.f90
@@ -0,0 +1,46 @@
+! { dg-do compile }
+! PR42008 Wrongly rejected derived types with default initializers
+! in PURE procedures
+module mod_xyz
+ implicit none
+contains
+ pure subroutine psub()
+  type ilist
+    type(ilist), pointer :: next => null() ! Valid
+    integer :: i
+  end type ilist
+ end subroutine psub
+end module mod_xyz
+
+module mod_xyz2
+ implicit none
+contains
+ pure subroutine psub()
+  type ilist
+    type(ilist), pointer :: next
+    integer, pointer :: p => null() ! Valid
+    integer :: i
+  end type ilist
+  type(ilist) :: var ! Valid
+  var%next => null()
+ end subroutine psub
+end module mod_xyz2
+
+module mod_xyz3
+ implicit none
+ type ilist
+   type(ilist), pointer :: next => null() ! Valid
+   integer :: i
+ end type ilist
+contains
+ pure subroutine psub()
+  type(ilist) :: var ! Valid
+ end subroutine psub
+end module mod_xyz3
+
+pure function test()
+  integer,pointer :: p => null() !{ dg-error "not allowed in a PURE procedure" }
+  integer :: test
+  test = p
+end function test
+! { dg-final { cleanup-modules "mod_xyz mod_xyz2 mod_xyz3" } }