1 files changed, 85 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/used_dummy_types_5.f90 b/gcc/testsuite/gfortran.dg/used_dummy_types_5.f90
new file mode 100644
index 00000000000..a79f7221310
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/used_dummy_types_5.f90
@@ -0,0 +1,85 @@
+! { dg-do compile }
+! This checks that the fix for PR19362 has not broken gfortran
+! in respect of.references allowed by 4.4.2.
+!
+! Contributed by Paul Thomas  <pault@gcc.gnu.org>
+!==============
+module global
+
+  TYPE :: seq_type1
+    sequence
+    integer :: i
+  end type seq_type1
+
+  TYPE :: nonseq_type1
+    integer :: i = 44
+  end type nonseq_type1
+  type (nonseq_type1) :: ns1
+
+end module global
+
+  use global, only: seq_type2=>seq_type1, nonseq_type1, ns1
+
+! Host non-sequence types
+  type :: different_type
+    integer :: i
+  end type different_type
+
+  type :: same_type
+    sequence
+    integer :: i
+  end type same_type
+
+  type (seq_type2)  :: t1
+  type (different_type)  :: dt1
+
+  type (nonseq_type1) :: ns2
+  type (same_type)  :: st1
+  real seq_type1
+
+  t1 = seq_type2 (42)
+  dt1 = different_type (43)
+  ns2 = ns1
+  seq_type1 =1.0e32
+  st1%i = 45
+
+  call foo (t1)
+
+contains
+
+  subroutine foo (x)
+
+    use global, only: seq_type3=>seq_type1
+
+    TYPE :: seq_type1
+      sequence
+      integer :: i
+    end type seq_type1
+
+    type :: different_type
+      complex :: z
+    end type different_type
+
+    type :: same_type
+      sequence
+      integer :: i
+    end type same_type
+! Host association of renamed type.
+    type (seq_type2) :: x
+! Locally declared version of the same thing.
+    type (seq_type1) :: y
+! USE associated renamed type.
+    type (seq_type3) :: z
+
+
+    type (different_type)  :: dt2
+    type (same_type)  :: st2
+
+    dt2%z = (2.0,-1.0)
+    y = seq_type2 (46)
+    z = seq_type3 (47)
+    st2 = st1
+    print *, x, y, z, dt2, st2, ns2, ns1
+  end subroutine foo
+END
+