maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/flang/test/Semantics/call05.f90

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

121 lines
4.2 KiB
Fortran
Raw Normal View History

[flang][NFC] Simplify semantics test scripts There were several different ways of handling the option to f18 to find predefined modules: - test_errors.sh was created by cmake substituting FLANG_INTRINSIC_MODULES_DIR into test_errors.sh.in - some tests used the flang script which has the option built it - some tests used %f18_with_includes which was replaced by the path to f18 plus the -I option - some included -I../../include/flang in their run command To make this more consistent, change %f18 to include the -intrinsic-module-directory option and use it everywhere, including to replace %flang and %f18_with_includes. This requires changing all of the invocations of the test scripts to put %f18 at the end so that it can expand to more than one argument. This eliminates the need to generate test_errors.sh which means we don't need flang/test/Semantics/CMakeLists.txt or the %B substitution. That makes the test_errors.sh command like the others, replacing %B/test/Semantics/test_errors.sh with %S/test_errors.sh. Also remove the OPTIONS: functionality as custom options can be included in the RUN: command. And remove -I/../../include/flang as that is now always included. Differential Revision: https://reviews.llvm.org/D79634
2020-05-12 02:38:53 +08:00
! RUN: %S/test_errors.sh %s %t %f18
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
! Test 15.5.2.5 constraints and restrictions for POINTER & ALLOCATABLE
! arguments when both sides of the call have the same attributes.
module m
type :: t
end type
type, extends(t) :: t2
end type
type :: pdt(n)
integer, len :: n
end type
type(t), pointer :: mp(:), mpmat(:,:)
type(t), allocatable :: ma(:), mamat(:,:)
class(t), pointer :: pp(:)
class(t), allocatable :: pa(:)
class(t2), pointer :: pp2(:)
class(t2), allocatable :: pa2(:)
class(*), pointer :: up(:)
class(*), allocatable :: ua(:)
[flang] Semantic checks for C712 through C727 I've updated the compiler and test source with references to the contraints at the points where they were enforced and tested. Many of these were already implemented and required no code change. A few constraint checks were both implemented and tested, and I only added references to the constraint numbers in the compiler source and tests. Here are the things I had to implement: Constraint C716 states that, in a REAL constant, if both a kind-param and an exponent letter appear, the exponent letter must be 'E'. Constraints C715 and C719 require that a KIND value be actually implemented. Constraint C722 requires that functions that return assumed-length character types are external. Constraint C726 disallows assumed lenght charater types for dummy arguments and return types. Original-commit: flang-compiler/f18@45998741e5f04bba7db6eed6a4d27c1d25209b41 Reviewed-on: https://github.com/flang-compiler/f18/pull/1031 Tree-same-pre-rewrite: false
2020-02-27 12:19:48 +08:00
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
type(pdt(*)), pointer :: amp(:)
[flang] Semantic checks for C712 through C727 I've updated the compiler and test source with references to the contraints at the points where they were enforced and tested. Many of these were already implemented and required no code change. A few constraint checks were both implemented and tested, and I only added references to the constraint numbers in the compiler source and tests. Here are the things I had to implement: Constraint C716 states that, in a REAL constant, if both a kind-param and an exponent letter appear, the exponent letter must be 'E'. Constraints C715 and C719 require that a KIND value be actually implemented. Constraint C722 requires that functions that return assumed-length character types are external. Constraint C726 disallows assumed lenght charater types for dummy arguments and return types. Original-commit: flang-compiler/f18@45998741e5f04bba7db6eed6a4d27c1d25209b41 Reviewed-on: https://github.com/flang-compiler/f18/pull/1031 Tree-same-pre-rewrite: false
2020-02-27 12:19:48 +08:00
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
type(pdt(*)), allocatable :: ama(:)
type(pdt(:)), pointer :: dmp(:)
type(pdt(:)), allocatable :: dma(:)
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
type(pdt(1)), pointer :: nmp(:)
type(pdt(1)), allocatable :: nma(:)
contains
subroutine smp(x)
type(t), pointer :: x(:)
end subroutine
subroutine sma(x)
type(t), allocatable :: x(:)
end subroutine
subroutine spp(x)
class(t), pointer :: x(:)
end subroutine
subroutine spa(x)
class(t), allocatable :: x(:)
end subroutine
subroutine sup(x)
class(*), pointer :: x(:)
end subroutine
subroutine sua(x)
class(*), allocatable :: x(:)
end subroutine
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
subroutine samp(x)
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
type(pdt(*)), pointer :: x(:)
end subroutine
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
subroutine sama(x)
type(pdt(*)), allocatable :: x(:)
end subroutine
subroutine sdmp(x)
type(pdt(:)), pointer :: x(:)
end subroutine
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
subroutine sdma(x)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
type(pdt(:)), allocatable :: x(:)
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
end subroutine
subroutine snmp(x)
type(pdt(1)), pointer :: x(:)
end subroutine
subroutine snma(x)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
type(pdt(1)), allocatable :: x(:)
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
end subroutine
subroutine test
call smp(mp) ! ok
call sma(ma) ! ok
call spp(pp) ! ok
call spa(pa) ! ok
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call smp(pp)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call sma(pa)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call spp(mp)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call spa(ma)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is unlimited polymorphic, both must be so
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call sup(pp)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is unlimited polymorphic, both must be so
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call sua(pa)
[flang] Fix off-by-one error in preprocessing expressions Original-commit: flang-compiler/f18@4c08a4a1be9fb398a8fc7561da114dc9d2a3accc Reviewed-on: https://github.com/flang-compiler/f18/pull/891
2019-12-21 05:03:30 +08:00
!ERROR: Actual argument type 'CLASS(*)' is not compatible with dummy argument type 't'
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call spp(up)
[flang] Fix off-by-one error in preprocessing expressions Original-commit: flang-compiler/f18@4c08a4a1be9fb398a8fc7561da114dc9d2a3accc Reviewed-on: https://github.com/flang-compiler/f18/pull/891
2019-12-21 05:03:30 +08:00
!ERROR: Actual argument type 'CLASS(*)' is not compatible with dummy argument type 't'
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call spa(ua)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: POINTER or ALLOCATABLE dummy and actual arguments must have the same declared type
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call spp(pp2)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: POINTER or ALLOCATABLE dummy and actual arguments must have the same declared type
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call spa(pa2)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Rank of dummy argument is 1, but actual argument has rank 2
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call smp(mpmat)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Rank of dummy argument is 1, but actual argument has rank 2
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call sma(mamat)
call sdmp(dmp) ! ok
call sdma(dma) ! ok
call snmp(nmp) ! ok
call snma(nma) ! ok
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
call samp(nmp) ! ok
call sama(nma) ! ok
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call sdmp(nmp)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call sdma(nma)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call snmp(dmp)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
call snma(dma)
[flang] Restored changes from pmk-call05 Original-commit: flang-compiler/f18@bb9c12eec36e7737ebc20b17d7e51da127aa1fbf Reviewed-on: https://github.com/flang-compiler/f18/pull/792 Tree-same-pre-rewrite: false
2019-10-25 07:08:06 +08:00
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call samp(dmp)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call sama(dma)
[flang] call06.f90 Original-commit: flang-compiler/f18@81b64dacaabd48868d4ca58280aa905a191c7e3b Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 06:08:53 +08:00
end subroutine
end module