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

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

81 lines
2.7 KiB
Fortran
Raw Normal View History

[flang] Update the regression tests to use the new driver when enabled This patch updates most of the remaining regression tests (~400) to use `flang-new` rather then `f18` when `FLANG_BUILD_NEW_DRIVER` is set. This allows us to share more Flang regression tests between `f18` and `flang-new`. A handful of tests have not been ported yet - these are currently either failing or not supported by the new driver. Summary of changes: * RUN lines in tests are updated to use `%flang_fc1` instead of `%f18` * option spellings in tests are updated to forms accepted by both `f18` and `flang-new` * variables in Bash scripts are renamed (e.g. F18 --> FLANG_FC1) The updated tests will now be run with the new driver, `flang-new`, whenever it is enabled (i.e when `FLANG_BUILD_NEW_DRIVER` is set). Although this patch touches many files, vast majority of the changes are automatic: ``` grep -IEZlr "%f18" flang/test/ | xargs -0 -l sed -i 's/%f18/%flang_fc1/g ``` Differential Revision: https://reviews.llvm.org/D100309
2021-04-12 20:27:49 +08:00
! RUN: %S/test_errors.sh %s %t %flang_fc1
[flang] Perform more checks on array-specs There are many constraints on what kind of array-specs can appear in what contexts. Add `CheckArraySpec()` to perform most of them. When the check fails, don't set the shape of the symbol being declared and instead set the Error flag so we can avoid cascading errors. Fixes flang-compiler/f18#609. Original-commit: flang-compiler/f18@f159d97f1f1e02b4d66e410b0f5a587f3c8fc51a Reviewed-on: https://github.com/flang-compiler/f18/pull/630 Tree-same-pre-rewrite: false
2019-08-07 04:48:13 +08:00
subroutine s1(x, y)
!ERROR: Array pointer 'x' must have deferred shape or assumed rank
real, pointer :: x(1:) ! C832
!ERROR: Allocatable array 'y' must have deferred shape or assumed rank
real, dimension(1:,1:), allocatable :: y ! C832
end
subroutine s2(a, b, c)
real :: a(:,1:)
real :: b(10,*)
real :: c(..)
!ERROR: Array pointer 'd' must have deferred shape or assumed rank
real, pointer :: d(:,1:) ! C832
!ERROR: Allocatable array 'e' must have deferred shape or assumed rank
real, allocatable :: e(10,*) ! C832
!ERROR: Assumed-rank array 'f' must be a dummy argument
real, pointer :: f(..) ! C837
!ERROR: Assumed-shape array 'g' must be a dummy argument
real :: g(:,1:)
!ERROR: Assumed-size array 'h' must be a dummy argument
real :: h(10,*) ! C833
!ERROR: Assumed-rank array 'i' must be a dummy argument
real :: i(..) ! C837
end
subroutine s3(a, b)
real :: a(*)
!ERROR: Dummy array argument 'b' may not have implied shape
[flang] Check for attributes specific to dummy arguments We were not checking that attributes that are supposed to be specific to dummy arguments were not being used for local entities. I added the checks along with tests for them. After implementing these new checks, I found that one of the tests in separate-mp02.f90 was erroneous, and I fixed it. Differential Revision: https://reviews.llvm.org/D101126
2021-04-23 10:29:14 +08:00
real :: b(*,*) ! C835, C836
!ERROR: Implied-shape array 'c' must be a named constant or a dummy argument
[flang] Perform more checks on array-specs There are many constraints on what kind of array-specs can appear in what contexts. Add `CheckArraySpec()` to perform most of them. When the check fails, don't set the shape of the symbol being declared and instead set the Error flag so we can avoid cascading errors. Fixes flang-compiler/f18#609. Original-commit: flang-compiler/f18@f159d97f1f1e02b4d66e410b0f5a587f3c8fc51a Reviewed-on: https://github.com/flang-compiler/f18/pull/630 Tree-same-pre-rewrite: false
2019-08-07 04:48:13 +08:00
real :: c(*) ! C836
[flang] Improve initializer semantics, esp. for component default values This patch plugs many holes in static initializer semantics, improves error messages for default initial values and other component properties in parameterized derived type instantiations, and cleans up several small issues noticed during development. We now do proper scalar expansion, folding, and type, rank, and shape conformance checking for component default initializers in derived types and PDT instantiations. The initial values of named constants are now guaranteed to have been folded when installed in the symbol table, and are no longer folded or scalar-expanded at each use in expression folding. Semantics documentation was extended with information about the various kinds of initializations in Fortran and when each of them are processed in the compiler. Some necessary concomitant changes have bulked this patch out a bit: * contextual messages attachments, which are now produced for parameterized derived type instantiations so that the user can figure out which instance caused a problem with a component, have been added as part of ContextualMessages, and their implementation was debugged * several APIs in evaluate::characteristics was changed so that a FoldingContext is passed as an argument rather than just its intrinsic procedure table; this affected client call sites in many files * new tools in Evaluate/check-expression.cpp to determine when an Expr actually is a single constant value and to validate a non-pointer variable initializer or object component default value * shape conformance checking has additional arguments that control whether scalar expansion is allowed * several now-unused functions and data members noticed and removed * several crashes and bogus errors exposed by testing this new code were fixed * a -fdebug-stack-trace option to enable LLVM's stack tracing on a crash, which might be useful in the future TL;DR: Initialization processing does more and takes place at the right times for all of the various kinds of things that can be initialized. Differential Review: https://reviews.llvm.org/D92783
2020-12-08 04:08:58 +08:00
!ERROR: Named constant 'd' array must have constant or implied shape
[flang] Perform more checks on array-specs There are many constraints on what kind of array-specs can appear in what contexts. Add `CheckArraySpec()` to perform most of them. When the check fails, don't set the shape of the symbol being declared and instead set the Error flag so we can avoid cascading errors. Fixes flang-compiler/f18#609. Original-commit: flang-compiler/f18@f159d97f1f1e02b4d66e410b0f5a587f3c8fc51a Reviewed-on: https://github.com/flang-compiler/f18/pull/630 Tree-same-pre-rewrite: false
2019-08-07 04:48:13 +08:00
integer, parameter :: d(:) = [1, 2, 3]
end
subroutine s4()
type :: t
integer, allocatable :: a(:)
!ERROR: Component array 'b' without ALLOCATABLE or POINTER attribute must have explicit shape
integer :: b(:) ! C749
real, dimension(1:10) :: c
!ERROR: Array pointer component 'd' must have deferred shape
real, pointer, dimension(1:10) :: d ! C745
end type
end
function f()
!ERROR: Array 'f' without ALLOCATABLE or POINTER attribute must have explicit shape
real, dimension(:) :: f ! C832
end
[flang] Move checks for valid array-spec to check-declarations.cc At the time we finish processing an array-spec in `resolve-names.cc`, we don't know if the entity is going to be declared ALLOCATABLE later so we can't check for validity there. In the new test in `resolve58.f90` (based on issue flang-compiler/f18#930) we were reporting an error on `b` and not on `a` when it should be the reverse. The fix is to move array-spec checking to `check-declarations.cc`, after name resolution is complete. Fixes flang-compiler/f18#930. Original-commit: flang-compiler/f18@c596d2fef7628236676c1939659f4eb956e4df35 Reviewed-on: https://github.com/flang-compiler/f18/pull/933
2020-01-15 04:06:52 +08:00
subroutine s5()
!ERROR: Allocatable array 'a' must have deferred shape or assumed rank
integer :: a(10), b(:)
allocatable :: a
allocatable :: b
end subroutine
[flang] Check for attributes specific to dummy arguments We were not checking that attributes that are supposed to be specific to dummy arguments were not being used for local entities. I added the checks along with tests for them. After implementing these new checks, I found that one of the tests in separate-mp02.f90 was erroneous, and I fixed it. Differential Revision: https://reviews.llvm.org/D101126
2021-04-23 10:29:14 +08:00
subroutine s6()
!C835 An object whose array bounds are specified by an
! implied-shape-or-assumed-size-spec shall be a dummy data object or a named
! constant.
!
!C843 An entity with the INTENT attribute shall be a dummy data object or a
! dummy procedure pointer.
!
!C849 An entity with the OPTIONAL attribute shall be a dummy argument.
!ERROR: Implied-shape array 'local1' must be a named constant or a dummy argument
real, dimension (*) :: local1
!ERROR: INTENT attributes may apply only to a dummy argument
real, intent(in) :: local2
!ERROR: INTENT attributes may apply only to a dummy argument
procedure(), intent(in) :: p1
!ERROR: OPTIONAL attribute may apply only to a dummy argument
real, optional :: local3
!ERROR: OPTIONAL attribute may apply only to a dummy argument
procedure(), optional :: p2
end subroutine