1 files changed, 60 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/whole_file_1.f90 b/gcc/testsuite/gfortran.dg/whole_file_1.f90
new file mode 100644
index 000000000..598c9d319
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/whole_file_1.f90
@@ -0,0 +1,60 @@
+! { dg-do compile }
+! { dg-options "-fwhole-file" }
+! Tests the fix for PR22571 in which the derived types in a, b
+! c and d were not detected to be different.  In e and f, they
+! are the same because they are sequence types.
+!
+! Contributed by Joost VandeVondele <jv244@cam.ac.uk>
+!
+subroutine a(p)
+  type t
+    integer :: t1
+  end type
+  type(t) :: p
+  p%t1 = 42
+end subroutine
+
+subroutine b
+  type u
+    integer :: u1
+  end type
+  type (u) :: q
+  call a(q)  ! { dg-warning "Type mismatch" }
+  print *, q%u1
+end subroutine
+
+subroutine c(p)
+  type u
+    integer :: u1
+  end type
+  type(u) :: p
+  p%u1 = 42
+end subroutine
+
+subroutine d
+  type u
+    integer :: u1
+  end type
+  type (u) :: q
+  call c(q)  ! { dg-warning "Type mismatch" }
+  print *, q%u1
+end subroutine
+
+subroutine e(p)
+  type u
+    sequence
+    integer :: u1
+  end type
+  type(u) :: p
+  p%u1 = 42
+end subroutine
+
+subroutine f
+  type u
+    sequence
+    integer :: u1
+  end type
+  type (u) :: q
+  call e(q)  ! This is OK because the types are sequence.
+  print *, q%u1
+end subroutine