[flang] Add call04.f90 test

Original-commit: flang-compiler/f18@0b329380cd
Reviewed-on: https://github.com/flang-compiler/f18/pull/711
Tree-same-pre-rewrite: false

flang/test/semantics/call04.f90

@@ -0,0 +1,74 @@
+! 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.
+
+! Test 8.5.10 & 8.5.18 constraints on dummy argument declarations
+
+module m
+
+  type :: hasCoarray
+    real, allocatable :: a(:)[*]
+  end type
+  type, extends(hasCoarray) :: extendsHasCoarray
+  end type
+  type :: hasCoarray2
+    type(hasCoarray) :: x
+  end type
+  type, extends(hasCoarray2) :: extendsHasCoarray2
+  end type
+
+  real, allocatable :: coarray(:)[:]
+
+ contains
+
+  subroutine s01a(x)
+    real, allocatable, intent(out) :: x(:)
+  end subroutine
+  subroutine s01b ! C846 - can only be caught at a call via explicit interface
+    ! ERROR: An allocatable coarray cannot be associated with an INTENT(OUT) dummy argument.
+    call s01a(coarray)
+  end subroutine
+
+  subroutine s02(x) ! C846
+    ! ERROR: An INTENT(OUT) argument must not contain an allocatable coarray.
+    type(hasCoarray), intent(out) :: x
+  end subroutine
+
+  subroutine s03(x) ! C846
+    ! ERROR: An INTENT(OUT) argument must not contain an allocatable coarray.
+    type(extendsHasCoarray), intent(out) :: x
+  end subroutine
+
+  subroutine s04(x) ! C846
+    ! ERROR: An INTENT(OUT) argument must not contain an allocatable coarray.
+    type(hasCoarray2), intent(out) :: x
+  end subroutine
+
+  subroutine s05(x) ! C846
+    ! ERROR: An INTENT(OUT) argument must not contain an allocatable coarray.
+    type(extendsHasCoarray2), intent(out) :: x
+  end subroutine
+
+end module
+
+subroutine s06(x) ! C847
+  use ISO_FORTRAN_ENV, only: lock_type
+  ! ERROR: A dummy argument of TYPE(LOCK_TYPE) cannot be INTENT(OUT).
+  type(lock_type), intent(out) :: x
+end subroutine
+
+subroutine s07(x) ! C847
+  use ISO_FORTRAN_ENV, only: event_type
+  ! ERROR: A dummy argument of TYPE(EVENT_TYPE) cannot be INTENT(OUT).
+  type(event_type), intent(out) :: x
+end subroutine