llvm-project/flang/test/Semantics/resolve14.f90

! RUN: %S/test_errors.sh %s %t %f18
module m1
  integer :: x
  integer :: y
  integer :: z
end
module m2
  real :: y
  real :: z
  real :: w
end

use m1, xx => x, y => z
use m2
volatile w
!ERROR: Cannot change CONTIGUOUS attribute on use-associated 'w'
contiguous w
!ERROR: 'z' is use-associated from module 'm2' and cannot be re-declared
integer z
!ERROR: Reference to 'y' is ambiguous
y = 1
end
[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] Support for USE statements. When a USE statement is encountered, find the scope corresponding to the module. This is now stored in the ModuleDetails of the module symbol. useModuleScope_ tracks this while processing the USE. Currently only modules defined in the same file work because we don't have module files. At the end of a USE that isn't a use-only, add all public names that were not renamed. AddUse() handles recording of a USE by creating a local symbol with UseDetails that tracks the use-symbol in the module and the location of the USE (for error messages). If an ambiguous USE is detected, the UseDetails are replaced by UseErrorDetails. This tracks the locations of all the uses so that they can be referenced in a diagnostic. Detect attempts to re-declare use-associated symbols as well as changing their attributes (except for ASYNCHRONOUS and VOLATILE). Add missing checks for access-stmt in scoping units other than modules. Add tests for the new errors. Reorganize the MessageHandler::Say() overloadings to prevent them from becoming too numerous. Original-commit: flang-compiler/f18@cc0523134c85ee2fe156b4f5c8d042e73ac92549 Reviewed-on: https://github.com/flang-compiler/f18/pull/79 2018-05-04 06:57:56 +08:00			`module m1`
			`integer :: x`
			`integer :: y`
			`integer :: z`
			`end`
			`module m2`
			`real :: y`
			`real :: z`
			`real :: w`
			`end`

			`use m1, xx => x, y => z`
			`use m2`
			`volatile w`
			`!ERROR: Cannot change CONTIGUOUS attribute on use-associated 'w'`
			`contiguous w`
			`!ERROR: 'z' is use-associated from module 'm2' and cannot be re-declared`
			`integer z`
			`!ERROR: Reference to 'y' is ambiguous`
			`y = 1`
			`end`