--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gfortran.dg/pr46665.f90	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,36 @@
+! { dg-do run }
+! { dg-options "-fipa-pta -fno-tree-ccp -fno-tree-forwprop -g" }
+
+program main
+  implicit none
+  call test ((/ 3, 4, 5 /), f ((/ 3, 4, 5 /)))
+contains
+  subroutine test (expected, x)
+    integer, dimension (:,:,:) :: x
+    integer, dimension (3) :: expected
+    integer :: i, i1, i2, i3
+    do i = 1, 3
+      if (size (x, i) .ne. expected (i)) call abort
+    end do
+    do i1 = 1, expected (1)
+      do i2 = 1, expected (2)
+        do i3 = 1, expected (3)
+          if (x (i1, i2, i3) .ne. i1 + i2 * 10 + i3 * 100) call abort
+        end do
+      end do
+    end do
+  end subroutine test
+
+  function f (x)
+    integer, dimension (3) :: x
+    integer, dimension (x(1), x(2), x(3)) :: f
+    integer :: i1, i2, i3
+    do i1 = 1, x(1)
+      do i2 = 1, x(2)
+        do i3 = 1, x(3)
+          f (i1, i2, i3) = i1 + i2 * 10 + i3 * 100
+        end do
+      end do
+    end do
+  end function f
+end program main