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

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

32 lines
632 B
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] Use structureComponent.component.symbol directly instead of getting the symbol from the result of expression analysis. (This opens the door to moving structure component semantic checking to expression analysis.) Also, improve error messages, remove unused include files, and add copyright headers to test files. Original-commit: flang-compiler/f18@17780c40d7380db9760e972dcc52724838cd89d8 Reviewed-on: https://github.com/flang-compiler/f18/pull/388
2019-04-08 15:26:10 +08:00
! Check for semantic errors in NULLIFY statements
[flang] Check semantic contraints for the nullify statement. The full legality check is up to the user; however, some checks could be done at compile time and others at runtime. We choose to skip any checking at compile time because it would not be complete. Note the instantiation of ExtractDataRef in expressions.cc. This instantiation satifies the reference in check-nullify.cc because expression.h just has a declaration of ExtractDataRef instead of the definition. Original-commit: flang-compiler/f18@b7199219fbf9e833be6e745d498e99936c2e68b2 Reviewed-on: https://github.com/flang-compiler/f18/pull/388 Tree-same-pre-rewrite: false
2019-04-08 02:29:48 +08:00
INTEGER, PARAMETER :: maxvalue=1024
Type dt
Integer :: l = 3
End Type
Type t
Type(dt) :: p
End Type
Type(t),Allocatable :: x(:)
Integer :: pi
Procedure(Real) :: prp
Allocate(x(3))
[flang] Use structureComponent.component.symbol directly instead of getting the symbol from the result of expression analysis. (This opens the door to moving structure component semantic checking to expression analysis.) Also, improve error messages, remove unused include files, and add copyright headers to test files. Original-commit: flang-compiler/f18@17780c40d7380db9760e972dcc52724838cd89d8 Reviewed-on: https://github.com/flang-compiler/f18/pull/388
2019-04-08 15:26:10 +08:00
!ERROR: component in NULLIFY statement must have the POINTER attribute
[flang] Check semantic contraints for the nullify statement. The full legality check is up to the user; however, some checks could be done at compile time and others at runtime. We choose to skip any checking at compile time because it would not be complete. Note the instantiation of ExtractDataRef in expressions.cc. This instantiation satifies the reference in check-nullify.cc because expression.h just has a declaration of ExtractDataRef instead of the definition. Original-commit: flang-compiler/f18@b7199219fbf9e833be6e745d498e99936c2e68b2 Reviewed-on: https://github.com/flang-compiler/f18/pull/388 Tree-same-pre-rewrite: false
2019-04-08 02:29:48 +08:00
Nullify(x(2)%p)
[flang] Use structureComponent.component.symbol directly instead of getting the symbol from the result of expression analysis. (This opens the door to moving structure component semantic checking to expression analysis.) Also, improve error messages, remove unused include files, and add copyright headers to test files. Original-commit: flang-compiler/f18@17780c40d7380db9760e972dcc52724838cd89d8 Reviewed-on: https://github.com/flang-compiler/f18/pull/388
2019-04-08 15:26:10 +08:00
!ERROR: name in NULLIFY statement must have the POINTER attribute
[flang] Check semantic contraints for the nullify statement. The full legality check is up to the user; however, some checks could be done at compile time and others at runtime. We choose to skip any checking at compile time because it would not be complete. Note the instantiation of ExtractDataRef in expressions.cc. This instantiation satifies the reference in check-nullify.cc because expression.h just has a declaration of ExtractDataRef instead of the definition. Original-commit: flang-compiler/f18@b7199219fbf9e833be6e745d498e99936c2e68b2 Reviewed-on: https://github.com/flang-compiler/f18/pull/388 Tree-same-pre-rewrite: false
2019-04-08 02:29:48 +08:00
Nullify(pi)
[flang] Use structureComponent.component.symbol directly instead of getting the symbol from the result of expression analysis. (This opens the door to moving structure component semantic checking to expression analysis.) Also, improve error messages, remove unused include files, and add copyright headers to test files. Original-commit: flang-compiler/f18@17780c40d7380db9760e972dcc52724838cd89d8 Reviewed-on: https://github.com/flang-compiler/f18/pull/388
2019-04-08 15:26:10 +08:00
!ERROR: name in NULLIFY statement must have the POINTER attribute
[flang] Check semantic contraints for the nullify statement. The full legality check is up to the user; however, some checks could be done at compile time and others at runtime. We choose to skip any checking at compile time because it would not be complete. Note the instantiation of ExtractDataRef in expressions.cc. This instantiation satifies the reference in check-nullify.cc because expression.h just has a declaration of ExtractDataRef instead of the definition. Original-commit: flang-compiler/f18@b7199219fbf9e833be6e745d498e99936c2e68b2 Reviewed-on: https://github.com/flang-compiler/f18/pull/388 Tree-same-pre-rewrite: false
2019-04-08 02:29:48 +08:00
Nullify(prp)
[flang] Use structureComponent.component.symbol directly instead of getting the symbol from the result of expression analysis. (This opens the door to moving structure component semantic checking to expression analysis.) Also, improve error messages, remove unused include files, and add copyright headers to test files. Original-commit: flang-compiler/f18@17780c40d7380db9760e972dcc52724838cd89d8 Reviewed-on: https://github.com/flang-compiler/f18/pull/388
2019-04-08 15:26:10 +08:00
!ERROR: name in NULLIFY statement must be a variable or procedure pointer name
[flang] Check semantic contraints for the nullify statement. The full legality check is up to the user; however, some checks could be done at compile time and others at runtime. We choose to skip any checking at compile time because it would not be complete. Note the instantiation of ExtractDataRef in expressions.cc. This instantiation satifies the reference in check-nullify.cc because expression.h just has a declaration of ExtractDataRef instead of the definition. Original-commit: flang-compiler/f18@b7199219fbf9e833be6e745d498e99936c2e68b2 Reviewed-on: https://github.com/flang-compiler/f18/pull/388 Tree-same-pre-rewrite: false
2019-04-08 02:29:48 +08:00
Nullify(maxvalue)
End Program