1 files changed, 61 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/protected_1.f90 b/gcc/testsuite/gfortran.dg/protected_1.f90
new file mode 100644
index 000000000..fbc30e8c6
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/protected_1.f90
@@ -0,0 +1,61 @@
+! { dg-do run }
+! { dg-options "-std=f2003 -fall-intrinsics" }
+! PR fortran/23994
+!
+! Test PROTECTED attribute. Within the module everything is allowed.
+! Outside (use-associated): For pointers, their association status
+! may not be changed. For nonpointers, their value may not be changed.
+!
+! Test of a valid code
+
+module protmod
+  implicit none
+  integer          :: a,b
+  integer, target  :: at,bt
+  integer, pointer :: ap,bp
+  protected :: a, at
+  protected :: ap
+contains
+  subroutine setValue()
+    a = 43
+    ap => null()
+    nullify(ap)
+    ap => at
+    ap = 3
+    allocate(ap)
+    ap = 73
+    call increment(a,ap,at)
+    if(a /= 44 .or. ap /= 74 .or. at /= 4) call abort()
+  end subroutine setValue
+  subroutine increment(a1,a2,a3)
+    integer, intent(inout) :: a1, a2, a3
+    a1 = a1 + 1
+    a2 = a2 + 1
+    a3 = a3 + 1
+  end subroutine increment
+end module protmod
+
+program main
+  use protmod
+  implicit none
+  b = 5
+  bp => bt
+  bp = 4
+  bt = 7
+  call setValue()
+  if(a /= 44 .or. ap /= 74 .or. at /= 4) call abort()
+  call plus5(ap)
+  if(a /= 44 .or. ap /= 79 .or. at /= 4) call abort()
+  call checkVal(a,ap,at)
+contains
+  subroutine plus5(j)
+    integer, intent(inout) :: j
+    j = j + 5
+  end subroutine plus5
+  subroutine checkVal(x,y,z)
+    integer, intent(in) :: x, y, z
+    if(a /= 44 .or. ap /= 79 .or. at /= 4) call abort()
+  end subroutine
+end program main
+
+! { dg-final { cleanup-modules "protmod" } }