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/call09.f90

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

166 lines
6.5 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] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
! Test 15.5.2.9(2,3,5) dummy procedure requirements
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
module m
contains
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
integer function intfunc(x)
integer, intent(in) :: x
intfunc = x
end function
real function realfunc(x)
real, intent(in) :: x
realfunc = x
end function
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
subroutine s01(p)
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
procedure(realfunc), pointer, intent(in) :: p
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
end subroutine
subroutine s02(p)
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
procedure(realfunc), pointer :: p
end subroutine
subroutine selemental1(p)
procedure(cos) :: p ! ok
end subroutine
real elemental function elemfunc(x)
real, intent(in) :: x
elemfunc = x
end function
subroutine selemental2(p)
[flang] Fix location of name of Symbol for ProcEntity When we encounter a ProcDecl and a symbol for it has already been created, replace the CharBlock for the name with the one in the ProcDecl as it is the "main" declaration of that name. This matches what is done for an EntityDecl. This moves the location of some error messages to a better source location so update the affected tests. Original-commit: flang-compiler/f18@514c0f2c9477040f830fbf0495e4d38129648615 Reviewed-on: https://github.com/flang-compiler/f18/pull/1080 Tree-same-pre-rewrite: false
2020-03-18 04:02:17 +08:00
!ERROR: A dummy procedure may not be ELEMENTAL
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
procedure(elemfunc) :: p
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
end subroutine
function procptr()
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
procedure(realfunc), pointer :: procptr
procptr => realfunc
end function
function intprocptr()
procedure(intfunc), pointer :: intprocptr
[flang] Pointer assignment semantic checks Call `CheckPointerAssignment()` when analyzing a pointer assignment statement. NOTE: the cases with bounds-spec and bounds-remapping are still to be done. Perform checks on pointer symbols in `check-declarations.cc`. Check for pointer to generic intrinsic in `semantics/expression.cc`. Add the other required pointer assignment checks to `pointer-assignment.cc`. Original-commit: flang-compiler/f18@3dc5fd6d9e58d1ef0efd1deefcbaa52499ad93f9 Reviewed-on: https://github.com/flang-compiler/f18/pull/928
2020-01-14 08:39:00 +08:00
intprocptr => intfunc
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
end function
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
subroutine test1 ! 15.5.2.9(5)
[flang] Fix interpretation of intrinsic names as arguments If an unrestricted specific intrinsic function name is first encountered as an actual argument, it should be interpreted as an object entity, not a procedure entity. Fix some tests that depended on the previous interpretation by adding explicit INTRINSIC statements. Differential Revision: https://reviews.llvm.org/D85792
2020-08-12 07:52:49 +08:00
intrinsic :: sin
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
procedure(realfunc), pointer :: p
procedure(intfunc), pointer :: ip
p => realfunc
ip => intfunc
call s01(realfunc) ! ok
!ERROR: Actual argument procedure has interface incompatible with dummy argument 'p='
call s01(intfunc)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s01(p) ! ok
call s01(procptr()) ! ok
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument procedure has interface incompatible with dummy argument 'p='
call s01(intprocptr())
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s01(null()) ! ok
call s01(null(p)) ! ok
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument procedure has interface incompatible with dummy argument 'p='
call s01(null(ip))
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s01(sin) ! ok
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument associated with procedure pointer dummy argument 'p=' must be a POINTER unless INTENT(IN)
call s02(realfunc)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s02(p) ! ok
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument procedure has interface incompatible with dummy argument 'p='
call s02(ip)
!ERROR: Actual argument associated with procedure pointer dummy argument 'p=' must be a POINTER unless INTENT(IN)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s02(procptr())
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument associated with procedure pointer dummy argument 'p=' must be a POINTER unless INTENT(IN)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s02(null())
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument associated with procedure pointer dummy argument 'p=' must be a POINTER unless INTENT(IN)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s02(null(p))
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
!ERROR: Actual argument associated with procedure pointer dummy argument 'p=' must be a POINTER unless INTENT(IN)
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
call s02(sin)
end subroutine
[flang] checkpoint, all tests pass Fix name resolution for undeclared intrinsic actual arguments Original-commit: flang-compiler/f18@12470f06bcc09eb4858af9c3e412752d7ba71aee Reviewed-on: https://github.com/flang-compiler/f18/pull/818
2019-11-08 08:01:38 +08:00
subroutine callsub(s)
call s
end subroutine
subroutine takesrealfunc1(f)
external f
real f
end subroutine
subroutine takesrealfunc2(f)
x = f(1)
end subroutine
subroutine forwardproc(p)
implicit none
external :: p ! function or subroutine not known
call foo(p)
end subroutine
subroutine test2(unknown,ds,drf,dif) ! 15.5.2.9(2,3)
external :: unknown, ds, drf, dif
real :: drf
integer :: dif
procedure(callsub), pointer :: ps
procedure(realfunc), pointer :: prf
procedure(intfunc), pointer :: pif
call ds ! now we know that's it's a subroutine
call callsub(callsub) ! ok apart from infinite recursion
call callsub(unknown) ! ok
call callsub(ds) ! ok
call callsub(ps) ! ok
call takesrealfunc1(realfunc) ! ok
call takesrealfunc1(unknown) ! ok
call takesrealfunc1(drf) ! ok
call takesrealfunc1(prf) ! ok
call takesrealfunc2(realfunc) ! ok
call takesrealfunc2(unknown) ! ok
call takesrealfunc2(drf) ! ok
call takesrealfunc2(prf) ! ok
call forwardproc(callsub) ! ok
call forwardproc(realfunc) ! ok
call forwardproc(intfunc) ! ok
call forwardproc(unknown) ! ok
call forwardproc(ds) ! ok
call forwardproc(drf) ! ok
call forwardproc(dif) ! ok
call forwardproc(ps) ! ok
call forwardproc(prf) ! ok
call forwardproc(pif) ! ok
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(realfunc)
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(intfunc)
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(drf)
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(dif)
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(prf)
!ERROR: Actual argument associated with procedure dummy argument 's=' is a function but must be a subroutine
call callsub(pif)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc1(callsub)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc1(ds)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc1(ps)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc1(intfunc)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc1(dif)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc1(pif)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc1(intfunc)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc2(callsub)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc2(ds)
!ERROR: Actual argument associated with procedure dummy argument 'f=' is a subroutine but must be a function
call takesrealfunc2(ps)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc2(intfunc)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc2(dif)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc2(pif)
!ERROR: Actual argument function associated with procedure dummy argument 'f=' has incompatible result type
call takesrealfunc2(intfunc)
end subroutine
[flang] call09.f90 and review comment Original-commit: flang-compiler/f18@bc2ac270c688f5a36f723d3fcd95e2d431880404 Reviewed-on: https://github.com/flang-compiler/f18/pull/711 Tree-same-pre-rewrite: false
2019-09-05 07:20:34 +08:00
end module