From f13f372833fda8ca762a0f32ffc6240b95359b9c Mon Sep 17 00:00:00 2001
From: peter klausler <pklausler@nvidia.com>
Date: Thu, 8 Aug 2019 15:15:01 -0700
Subject: [PATCH] [flang] Add test for forward references in pointer
 initializers

Original-commit: flang-compiler/f18@9e01c102a1e14721bc10149f9902d41edfc96b77
Reviewed-on: https://github.com/flang-compiler/f18/pull/638
Tree-same-pre-rewrite: false
---
 flang/test/semantics/CMakeLists.txt |   1 +
 flang/test/semantics/symbol15.f90   | 267 ++++++++++++++++++++++++++++
 2 files changed, 268 insertions(+)
 create mode 100644 flang/test/semantics/symbol15.f90

diff --git a/flang/test/semantics/CMakeLists.txt b/flang/test/semantics/CMakeLists.txt
index 720f027aa53b..42b3ff6d326e 100644
--- a/flang/test/semantics/CMakeLists.txt
+++ b/flang/test/semantics/CMakeLists.txt
@@ -170,6 +170,7 @@ set(SYMBOL_TESTS
   symbol12.f90
   symbol13.f90
   symbol14.f90
+  symbol15.f90
   kinds01.f90
   kinds03.f90
   procinterface01.f90
diff --git a/flang/test/semantics/symbol15.f90 b/flang/test/semantics/symbol15.f90
new file mode 100644
index 000000000000..b0e7351e6549
--- /dev/null
+++ b/flang/test/semantics/symbol15.f90
@@ -0,0 +1,267 @@
+! Copyright (c) 2019, NVIDIA CORPORATION.  All rights reserved.
+!
+! Licensed under the Apache License, Version 2.0 (the "License");
+! you may not use this file except in compliance with the License.
+! You may obtain a copy of the License at
+!
+!     http://www.apache.org/licenses/LICENSE-2.0
+!
+! Unless required by applicable law or agreed to in writing, software
+! distributed under the License is distributed on an "AS IS" BASIS,
+! WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+! See the License for the specific language governing permissions and
+! limitations under the License.
+
+! Forward references in pointer initializers and TBP bindings.
+
+!DEF: /m Module
+module m
+ implicit none
+ abstract interface
+  !DEF: /m/iface PUBLIC Subprogram
+  subroutine iface
+  end subroutine
+ end interface
+ !DEF: /m/op1 POINTER, PUBLIC ObjectEntity REAL(4)
+ real, pointer :: op1
+ !DEF: /m/op2 POINTER, PUBLIC ObjectEntity REAL(4)
+ real, pointer :: op2 => null()
+ !DEF: /m/op3 POINTER, PUBLIC ObjectEntity REAL(4)
+ !DEF: /m/x PUBLIC, TARGET ObjectEntity REAL(4)
+ real, pointer :: op3 => x
+ !DEF: /m/op4 POINTER, PUBLIC ObjectEntity REAL(4)
+ !DEF: /m/y PUBLIC, TARGET ObjectEntity REAL(4)
+ real, pointer :: op4 => y(1)
+ !REF: /m/iface
+ !DEF: /m/pp1 EXTERNAL, POINTER, PUBLIC ProcEntity
+ procedure(iface), pointer :: pp1
+ !REF: /m/iface
+ !DEF: /m/pp2 EXTERNAL, POINTER, PUBLIC ProcEntity
+ procedure(iface), pointer :: pp2 => null()
+ !REF: /m/iface
+ !DEF: /m/pp3 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !DEF: /m/ext1 EXTERNAL, PUBLIC ProcEntity
+ procedure(iface), pointer :: pp3 => ext1
+ !REF: /m/iface
+ !DEF: /m/pp4 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !DEF: /m/ext2 EXTERNAL, PUBLIC Subprogram
+ procedure(iface), pointer :: pp4 => ext2
+ !REF: /m/iface
+ !DEF: /m/pp5 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !DEF: /m/ext3 EXTERNAL, PUBLIC ProcEntity
+ procedure(iface), pointer :: pp5 => ext3
+ !REF: /m/iface
+ !DEF: /m/pp6 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !DEF: /m/modproc1 PUBLIC Subprogram
+ procedure(iface), pointer :: pp6 => modproc1
+ !DEF: /m/t1 PUBLIC DerivedType
+ type :: t1
+  !DEF: /m/t1/opc1 POINTER ObjectEntity REAL(4)
+  real, pointer :: opc1
+  !DEF: /m/t1/opc2 POINTER ObjectEntity REAL(4)
+  real, pointer :: opc2 => null()
+  !DEF: /m/t1/opc3 POINTER ObjectEntity REAL(4)
+  !REF: /m/x
+  real, pointer :: opc3 => x
+  !DEF: /m/t1/opc4 POINTER ObjectEntity REAL(4)
+  !REF: /m/y
+  real, pointer :: opc4 => y(1)
+  !REF: /m/iface
+  !DEF: /m/t1/ppc1 NOPASS, POINTER ProcEntity
+  procedure(iface), nopass, pointer :: ppc1
+  !REF: /m/iface
+  !DEF: /m/t1/ppc2 NOPASS, POINTER ProcEntity
+  procedure(iface), nopass, pointer :: ppc2 => null()
+  !REF: /m/iface
+  !DEF: /m/t1/ppc3 NOPASS, POINTER ProcEntity
+  !REF: /m/ext1
+  procedure(iface), nopass, pointer :: ppc3 => ext1
+  !REF: /m/iface
+  !DEF: /m/t1/ppc4 NOPASS, POINTER ProcEntity
+  !REF: /m/ext2
+  procedure(iface), nopass, pointer :: ppc4 => ext2
+  !REF: /m/iface
+  !DEF: /m/t1/ppc5 NOPASS, POINTER ProcEntity
+  !REF: /m/ext3
+  procedure(iface), nopass, pointer :: ppc5 => ext3
+  !REF: /m/iface
+  !DEF: /m/t1/ppc6 NOPASS, POINTER ProcEntity
+  !REF: /m/modproc1
+  procedure(iface), nopass, pointer :: ppc6 => modproc1
+ contains
+  !DEF: /m/t1/b2 NOPASS ProcBinding
+  !REF: /m/ext2
+  procedure, nopass :: b2 => ext2
+  !DEF: /m/t1/b3 NOPASS ProcBinding
+  !REF: /m/ext3
+  procedure, nopass :: b3 => ext3
+  !DEF: /m/t1/b4 NOPASS ProcBinding
+  !REF: /m/modproc1
+  procedure, nopass :: b4 => modproc1
+ end type
+ !DEF: /m/pdt1 PUBLIC DerivedType
+ !DEF: /m/pdt1/k TypeParam INTEGER(4)
+ type :: pdt1(k)
+  !REF: /m/pdt1/k
+  integer, kind :: k
+  !DEF: /m/pdt1/opc1 POINTER ObjectEntity REAL(4)
+  real, pointer :: opc1
+  !DEF: /m/pdt1/opc2 POINTER ObjectEntity REAL(4)
+  real, pointer :: opc2 => null()
+  !DEF: /m/pdt1/opc3 POINTER ObjectEntity REAL(4)
+  !REF: /m/x
+  real, pointer :: opc3 => x
+  !DEF: /m/pdt1/opc4 POINTER ObjectEntity REAL(4)
+  !REF: /m/y
+  !REF: /m/pdt1/k
+  real, pointer :: opc4 => y(k)
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc1 NOPASS, POINTER ProcEntity
+  procedure(iface), nopass, pointer :: ppc1
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc2 NOPASS, POINTER ProcEntity
+  procedure(iface), nopass, pointer :: ppc2 => null()
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc3 NOPASS, POINTER ProcEntity
+  !REF: /m/ext1
+  procedure(iface), nopass, pointer :: ppc3 => ext1
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc4 NOPASS, POINTER ProcEntity
+  !REF: /m/ext2
+  procedure(iface), nopass, pointer :: ppc4 => ext2
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc5 NOPASS, POINTER ProcEntity
+  !REF: /m/ext3
+  procedure(iface), nopass, pointer :: ppc5 => ext3
+  !REF: /m/iface
+  !DEF: /m/pdt1/ppc6 NOPASS, POINTER ProcEntity
+  !REF: /m/modproc1
+  procedure(iface), nopass, pointer :: ppc6 => modproc1
+ contains
+  !DEF: /m/pdt1/b2 NOPASS ProcBinding
+  !REF: /m/ext2
+  procedure, nopass :: b2 => ext2
+  !DEF: /m/pdt1/b3 NOPASS ProcBinding
+  !REF: /m/ext3
+  procedure, nopass :: b3 => ext3
+  !DEF: /m/pdt1/b4 NOPASS ProcBinding
+  !REF: /m/modproc1
+  procedure, nopass :: b4 => modproc1
+ end type
+ !REF: /m/t1
+ !DEF: /m/t1x PUBLIC ObjectEntity TYPE(t1)
+ type(t1) :: t1x
+ !REF: /m/pdt1
+ !DEF: /m/pdt1x PUBLIC ObjectEntity TYPE(pdt1(k=1_4))
+ type(pdt1(1)) :: pdt1x
+ !REF: /m/x
+ !REF: /m/y
+ real, target :: x, y(2)
+ !REF: /m/ext1
+ external :: ext1
+ !REF: /m/iface
+ !REF: /m/ext3
+ procedure(iface) :: ext3
+ interface
+  !REF: /m/ext2
+  subroutine ext2
+  end subroutine
+ end interface
+ !DEF: /m/op10 POINTER, PUBLIC ObjectEntity REAL(4)
+ !REF: /m/x
+ real, pointer :: op10 => x
+ !DEF: /m/op11 POINTER, PUBLIC ObjectEntity REAL(4)
+ !REF: /m/y
+ real, pointer :: op11 => y(1)
+ !REF: /m/iface
+ !DEF: /m/pp10 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !REF: /m/ext1
+ procedure(iface), pointer :: pp10 => ext1
+ !REF: /m/iface
+ !DEF: /m/pp11 EXTERNAL, POINTER, PUBLIC ProcEntity
+ !REF: /m/ext2
+ procedure(iface), pointer :: pp11 => ext2
+ !DEF: /m/t2 PUBLIC DerivedType
+ type :: t2
+  !DEF: /m/t2/opc10 POINTER ObjectEntity REAL(4)
+  !REF: /m/x
+  real, pointer :: opc10 => x
+  !DEF: /m/t2/opc11 POINTER ObjectEntity REAL(4)
+  !REF: /m/y
+  real, pointer :: opc11 => y(1)
+  !REF: /m/iface
+  !DEF: /m/t2/ppc10 NOPASS, POINTER ProcEntity
+  !REF: /m/ext1
+  procedure(iface), nopass, pointer :: ppc10 => ext1
+  !REF: /m/iface
+  !DEF: /m/t2/ppc11 NOPASS, POINTER ProcEntity
+  !REF: /m/ext2
+  procedure(iface), nopass, pointer :: ppc11 => ext2
+ contains
+  !DEF: /m/t2/b10 NOPASS ProcBinding
+  !REF: /m/ext2
+  procedure, nopass :: b10 => ext2
+  !DEF: /m/t2/b11 NOPASS ProcBinding
+  !REF: /m/ext3
+  procedure, nopass :: b11 => ext3
+ end type
+ !DEF: /m/pdt2 PUBLIC DerivedType
+ !DEF: /m/pdt2/k TypeParam INTEGER(4)
+ type :: pdt2(k)
+  !REF: /m/pdt2/k
+  integer, kind :: k
+  !DEF: /m/pdt2/opc10 POINTER ObjectEntity REAL(4)
+  !REF: /m/x
+  real, pointer :: opc10 => x
+  !DEF: /m/pdt2/opc11 POINTER ObjectEntity REAL(4)
+  !REF: /m/y
+  !REF: /m/pdt2/k
+  real, pointer :: opc11 => y(k)
+  !REF: /m/iface
+  !DEF: /m/pdt2/ppc10 NOPASS, POINTER ProcEntity
+  !REF: /m/ext1
+  procedure(iface), nopass, pointer :: ppc10 => ext1
+  !REF: /m/iface
+  !DEF: /m/pdt2/ppc11 NOPASS, POINTER ProcEntity
+  !REF: /m/ext2
+  procedure(iface), nopass, pointer :: ppc11 => ext2
+ contains
+  !DEF: /m/pdt2/b10 NOPASS ProcBinding
+  !REF: /m/ext2
+  procedure, nopass :: b10 => ext2
+  !DEF: /m/pdt2/b11 NOPASS ProcBinding
+  !REF: /m/ext3
+  procedure, nopass :: b11 => ext3
+ end type
+ !REF: /m/t2
+ !DEF: /m/t2x PUBLIC ObjectEntity TYPE(t2)
+ type(t2) :: t2x
+ !REF: /m/pdt2
+ !DEF: /m/pdt2x PUBLIC ObjectEntity TYPE(pdt2(k=1_4))
+ type(pdt2(1)) :: pdt2x
+contains
+ !REF: /m/modproc1
+ subroutine modproc1
+ end subroutine
+end module
+!DEF: /ext1 Subprogram
+subroutine ext1
+end subroutine
+!DEF: /ext2 Subprogram
+subroutine ext2
+end subroutine
+!DEF: /ext3 Subprogram
+subroutine ext3
+end subroutine
+!DEF: /main MainProgram
+program main
+ !REF: /m
+ use :: m
+ !DEF: /main/pdt1 Use
+ !DEF: /main/pdt1y ObjectEntity TYPE(pdt1(k=2_4))
+ type(pdt1(2)) :: pdt1y
+ !DEF: /main/pdt2 Use
+ !DEF: /main/pdt2y ObjectEntity TYPE(pdt2(k=2_4))
+ type(pdt2(2)) :: pdt2y
+ print *, "compiled"
+end program