This is an archive of the discontinued LLVM Phabricator instance.

Differential D79634

[flang][NFC] Simplify semantics test scripts
ClosedPublic

Authored by tskeith on May 8 2020, 9:18 AM.

Details

Reviewers
sscalpone
klausler
PeteSteinfeld
jdoerfert
DavidTruby
Commits
rG99aa87a5b537: [flang][NFC] Simplify semantics test scripts
Summary

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.

Diff Detail

Event Timeline

tskeith created this revision.May 8 2020, 9:18 AM
Herald added a reviewer: jdoerfert. · View Herald TranscriptMay 8 2020, 9:19 AM
Herald added a reviewer: jdoerfert. · View Herald Transcript
Herald added a reviewer: DavidTruby. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, mgorny. · View Herald Transcript
Harbormaster failed remote builds in B56166: Diff 262888!May 8 2020, 10:10 AM
PeteSteinfeld accepted this revision.May 11 2020, 9:02 AM

LGTM

Thanks for doing this.

I've verified that everything builds and tests correctly on my system.

This revision is now accepted and ready to land.May 11 2020, 9:02 AM
Closed by commit rG99aa87a5b537: [flang][NFC] Simplify semantics test scripts (authored by tskeith). · Explain WhyMay 11 2020, 11:51 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
flang/
test/
4 lines
Evaluate/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
10 lines
Lower/
2 lines
Semantics/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
22 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
5 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
5 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
test_errors.sh
test_errors.sh.in
5 lines
2 lines
2 lines
9 lines

Diff 263234

flang/test/CMakeLists.txt

# Test runner infrastructure for Flang. This configures the Flang test trees # Test runner infrastructure for Flang. This configures the Flang test trees
# for use by Lit, and delegates to LLVM's lit test handlers. # for use by Lit, and delegates to LLVM's lit test handlers.
set(FLANG_INTRINSIC_MODULES_DIR ${FLANG_BINARY_DIR}/include/flang) set(FLANG_INTRINSIC_MODULES_DIR ${FLANG_BINARY_DIR}/include/flang)
set(FLANG_TOOLS_DIR ${FLANG_BINARY_DIR}/bin) set(FLANG_TOOLS_DIR ${FLANG_BINARY_DIR}/bin)
configure_lit_site_cfg( configure_lit_site_cfg(
${CMAKE_CURRENT_SOURCE_DIR}/lit.site.cfg.py.in ${CMAKE_CURRENT_SOURCE_DIR}/lit.site.cfg.py.in
${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg.py ${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg.py
MAIN_CONFIG MAIN_CONFIG
${CMAKE_CURRENT_SOURCE_DIR}/lit.cfg.py ${CMAKE_CURRENT_SOURCE_DIR}/lit.cfg.py
) )
add_subdirectory(Semantics)
set(FLANG_TEST_PARAMS set(FLANG_TEST_PARAMS
flang_site_config=${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg.py) flang_site_config=${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg.py)
set(FLANG_TEST_DEPENDS set(FLANG_TEST_DEPENDS
f18 FileCheck count not module_files f18 FileCheck count not module_files
) )
if (LINK_WITH_FIR) if (LINK_WITH_FIR)
list(APPEND FLANG_TEST_DEPENDS tco) list(APPEND FLANG_TEST_DEPENDS tco)
endif() endif()
add_custom_target(flang-test-depends DEPENDS ${FLANG_TEST_DEPENDS}) add_custom_target(flang-test-depends DEPENDS ${FLANG_TEST_DEPENDS})
add_lit_testsuite(check-flang "Running the Flang regression tests" add_lit_testsuite(check-flang "Running the Flang regression tests"
${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_CURRENT_BINARY_DIR}
PARAMS ${FLANG_TEST_PARAMS} PARAMS ${FLANG_TEST_PARAMS}
DEPENDS ${FLANG_TEST_DEPENDS} DEPENDS ${FLANG_TEST_DEPENDS}
) )
set_target_properties(check-flang PROPERTIES FOLDER "Tests") set_target_properties(check-flang PROPERTIES FOLDER "Tests")
add_lit_testsuites(FLANG ${CMAKE_CURRENT_SOURCE_DIR} add_lit_testsuites(FLANG ${CMAKE_CURRENT_SOURCE_DIR}
PARAMS ${FLANG_TEST_PARAMS} PARAMS ${FLANG_TEST_PARAMS}
DEPENDS ${FLANG_TEST_DEPENDS}) DEPENDS ${FLANG_TEST_DEPENDS})

flang/test/Evaluate/folding01.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test intrinsic operation folding ! Test intrinsic operation folding
module m module m
! Check logical intrinsic operation folding ! Check logical intrinsic operation folding
logical, parameter :: test_not1 = .NOT..false. logical, parameter :: test_not1 = .NOT..false.
logical, parameter :: test_not2 = .NOT..NOT..true. logical, parameter :: test_not2 = .NOT..NOT..true.
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

flang/test/Evaluate/folding02.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Check intrinsic function folding with host runtime library ! Check intrinsic function folding with host runtime library
module m module m
real(4), parameter :: eps4 = 0.000001_4 real(4), parameter :: eps4 = 0.000001_4
real(8), parameter :: eps8 = 0.000000000000001_8 real(8), parameter :: eps8 = 0.000000000000001_8
! These eps have been set so that constant folding of intrinsic ! These eps have been set so that constant folding of intrinsic
! functions that use host runtime can be tested independently of ! functions that use host runtime can be tested independently of
▲ Show 20 Lines • Show All 246 Lines • Show Last 20 Lines

flang/test/Evaluate/folding03.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test operation folding edge case (both expected value and messages) ! Test operation folding edge case (both expected value and messages)
! These tests make assumptions regarding real(4) and integer(4) extrema. ! These tests make assumptions regarding real(4) and integer(4) extrema.
#define TEST_ISNAN(v) logical, parameter :: test_##v =.NOT.(v.EQ.v) #define TEST_ISNAN(v) logical, parameter :: test_##v =.NOT.(v.EQ.v)
module integer_tests module integer_tests
integer(4), parameter :: i4_pmax = 2147483647_4 integer(4), parameter :: i4_pmax = 2147483647_4
! Fortran grammar rule R605 prevents from writing -2147483648_4 in an ! Fortran grammar rule R605 prevents from writing -2147483648_4 in an
▲ Show 20 Lines • Show All 255 Lines • Show Last 20 Lines

flang/test/Evaluate/folding04.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test intrinsic function folding edge case (both expected value and messages) ! Test intrinsic function folding edge case (both expected value and messages)
! These tests make assumptions regarding real(4) extrema. ! These tests make assumptions regarding real(4) extrema.
#define TEST_ISNAN(v) logical, parameter :: test_##v =.NOT.(v.EQ.v) #define TEST_ISNAN(v) logical, parameter :: test_##v =.NOT.(v.EQ.v)
module real_tests module real_tests
! Test real(4) intrinsic folding on edge cases (inf and NaN) ! Test real(4) intrinsic folding on edge cases (inf and NaN)
Show All 37 Lines

flang/test/Evaluate/folding05.f90

  • This is a binary file.

flang/test/Evaluate/folding06.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test transformational intrinsic function folding ! Test transformational intrinsic function folding
module m module m
type A type A
real(4) x real(4) x
integer(8) i integer(8) i
end type end type
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

flang/test/Evaluate/folding07.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test numeric model inquiry intrinsics ! Test numeric model inquiry intrinsics
module m module m
integer, parameter :: & integer, parameter :: &
bs1 = bit_size(0_1), & bs1 = bit_size(0_1), &
bs2 = bit_size(0_2), & bs2 = bit_size(0_2), &
bs4 = bit_size(0_4), & bs4 = bit_size(0_4), &
▲ Show 20 Lines • Show All 245 Lines • Show Last 20 Lines

flang/test/Evaluate/folding08.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test folding of LBOUND and UBOUND ! Test folding of LBOUND and UBOUND
module m module m
contains contains
function foo() function foo()
real :: foo(2:3,4:6) real :: foo(2:3,4:6)
end function end function
subroutine test(n1,a1,a2) subroutine test(n1,a1,a2)
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

flang/test/Evaluate/folding09.f90

! RUN: %S/test_folding.sh %s %flang %t ! RUN: %S/test_folding.sh %s %t %f18
! Test folding of IS_CONTIGUOUS on simply contiguous items (9.5.4) ! Test folding of IS_CONTIGUOUS on simply contiguous items (9.5.4)
! When IS_CONTIGUOUS() is constant, it's .TRUE. ! When IS_CONTIGUOUS() is constant, it's .TRUE.
module m module m
real, target :: hosted(2) real, target :: hosted(2)
contains contains
function f() function f()
real, pointer, contiguous :: f(:) real, pointer, contiguous :: f(:)
Show All 19 Lines

flang/test/Evaluate/test_folding.sh

Show All 13 Lines
# logical, parameter :: test_acos = abs(res_acos - exp_acos).LE.(0.001_4) # logical, parameter :: test_acos = abs(res_acos - exp_acos).LE.(0.001_4)
# #
# There are two kinds of failure: # There are two kinds of failure:
# - test_x is folded to .false.. This means the expression was folded # - test_x is folded to .false.. This means the expression was folded
# but the value is not as expected. # but the value is not as expected.
# - test_x is not folded (it is neither .true. nor .false.). This means the # - test_x is not folded (it is neither .true. nor .false.). This means the
# compiler could not fold the expression. # compiler could not fold the expression.
CMD="$2 -fdebug-dump-symbols -fparse-only"
if [[ $# < 3 ]]; then if [[ $# < 3 ]]; then
echo "Usage: $0 <fortran-source> <f18-executable> <temp test dir>" echo "Usage: $0 <fortran-source> <temp test dir> <f18-executable>"
exit 1 exit 1
fi fi
src=$1 src=$1
[[ ! -f $src ]] && echo "File not found: $src" && exit 1 [[ ! -f $src ]] && echo "File not found: $src" && exit 1
shift
temp=$3 temp=$1
mkdir -p $temp mkdir -p $temp
shift
CMD="$* -fdebug-dump-symbols -fparse-only"
# Check if tests should assume folding is using libpgmath # Check if tests should assume folding is using libpgmath
if [[ $LIBPGMATH ]]; then if [[ $LIBPGMATH ]]; then
CMD="$CMD -DTEST_LIBPGMATH" CMD="$CMD -DTEST_LIBPGMATH"
echo "Assuming libpgmath support" echo "Assuming libpgmath support"
else else
echo "Not assuming libpgmath support" echo "Not assuming libpgmath support"
fi fi
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

flang/test/Lower/pre-fir-tree04.f90

! RUN: %f18_with_includes -fdebug-pre-fir-tree -fparse-only %s | FileCheck %s ! RUN: %f18 -fdebug-pre-fir-tree -fparse-only %s | FileCheck %s
! Test Pre-FIR Tree captures all the coarray related statements ! Test Pre-FIR Tree captures all the coarray related statements
! CHECK: Subroutine test_coarray ! CHECK: Subroutine test_coarray
Subroutine test_coarray Subroutine test_coarray
use iso_fortran_env, only: team_type, event_type, lock_type use iso_fortran_env, only: team_type, event_type, lock_type
type(team_type) :: t type(team_type) :: t
type(event_type) :: done type(event_type) :: done
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

flang/test/Semantics/CMakeLists.txt

  • This file was deleted.
configure_file(test_errors.sh.in ${FLANG_BINARY_DIR}/test/Semantics/test_errors.sh @ONLY)

flang/test/Semantics/allocate01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
! Creating a symbol that allocate should accept ! Creating a symbol that allocate should accept
module share module share
real, pointer :: rp real, pointer :: rp
end module share end module share
module m module m
▲ Show 20 Lines • Show All 111 Lines • Show Last 20 Lines

flang/test/Semantics/allocate02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C943_C944(src, src2) subroutine C943_C944(src, src2)
! C943 ! C943
! No alloc-opt shall appear more than once in a given alloc-opt-list. ! No alloc-opt shall appear more than once in a given alloc-opt-list.
character(50) msg character(50) msg
integer stat, stat2 integer stat, stat2
Show All 40 Lines

flang/test/Semantics/allocate03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C933_a(b1, ca3, ca4, cp3, cp3mold, cp4, cp7, cp8, bsrc) subroutine C933_a(b1, ca3, ca4, cp3, cp3mold, cp4, cp7, cp8, bsrc)
! If any allocate-object has a deferred type parameter, is unlimited polymorphic, ! If any allocate-object has a deferred type parameter, is unlimited polymorphic,
! or is of abstract type, either type-spec or source-expr shall appear. ! or is of abstract type, either type-spec or source-expr shall appear.
! Only testing deferred type parameters here. ! Only testing deferred type parameters here.
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

flang/test/Semantics/allocate04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C933_b(n) subroutine C933_b(n)
! If any allocate-object has a deferred type parameter, is unlimited polymorphic, ! If any allocate-object has a deferred type parameter, is unlimited polymorphic,
! or is of abstract type, either type-spec or source-expr shall appear. ! or is of abstract type, either type-spec or source-expr shall appear.
! only testing unlimited polymorphic and abstract-type here ! only testing unlimited polymorphic and abstract-type here
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

flang/test/Semantics/allocate05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C934() subroutine C934()
! If type-spec appears, it shall specify a type with which each ! If type-spec appears, it shall specify a type with which each
! allocate-object is type compatible. ! allocate-object is type compatible.
type A type A
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

flang/test/Semantics/allocate06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C935(l, ac1, ac2, ac3, dc1, dc2, ec1, ec2, aa, ab, ab2, ea, eb, da, db, whatever, something, something_else) subroutine C935(l, ac1, ac2, ac3, dc1, dc2, ec1, ec2, aa, ab, ab2, ea, eb, da, db, whatever, something, something_else)
! A type-param-value in a type-spec shall be an asterisk if and only if each ! A type-param-value in a type-spec shall be an asterisk if and only if each
! allocate-object is a dummy argument for which the corresponding type parameter ! allocate-object is a dummy argument for which the corresponding type parameter
! is assumed. ! is assumed.
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

flang/test/Semantics/allocate07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C936(param_ca_4_assumed, param_ta_4_assumed, param_ca_4_deferred) subroutine C936(param_ca_4_assumed, param_ta_4_assumed, param_ca_4_deferred)
! If type-spec appears, the kind type parameter values of each ! If type-spec appears, the kind type parameter values of each
! allocate-object shall be the same as the corresponding type ! allocate-object shall be the same as the corresponding type
! parameter values of the type-spec. ! parameter values of the type-spec.
real(kind=4), allocatable :: x1, x2(:) real(kind=4), allocatable :: x1, x2(:)
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

flang/test/Semantics/allocate08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C945_a(srca, srcb, srcc, src_complex, src_logical, & subroutine C945_a(srca, srcb, srcc, src_complex, src_logical, &
srca2, srcb2, srcc2, src_complex2, srcx, srcx2) srca2, srcb2, srcc2, src_complex2, srcx, srcx2)
! If type-spec appears, it shall specify a type with which each ! If type-spec appears, it shall specify a type with which each
! allocate-object is type compatible. ! allocate-object is type compatible.
!second part C945, specific to SOURCE, is not checked here. !second part C945, specific to SOURCE, is not checked here.
▲ Show 20 Lines • Show All 123 Lines • Show Last 20 Lines

flang/test/Semantics/allocate09.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C946(param_ca_4_assumed, param_ta_4_assumed, param_ca_4_deferred) subroutine C946(param_ca_4_assumed, param_ta_4_assumed, param_ca_4_deferred)
! If source-expr appears, the kind type parameters of each allocate-object shall ! If source-expr appears, the kind type parameters of each allocate-object shall
! have the same values as the corresponding type parameters of source-expr. ! have the same values as the corresponding type parameters of source-expr.
real(kind=4), allocatable :: x1, x2(:) real(kind=4), allocatable :: x1, x2(:)
▲ Show 20 Lines • Show All 121 Lines • Show Last 20 Lines

flang/test/Semantics/allocate10.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
!TODO: mixing expr and source-expr? !TODO: mixing expr and source-expr?
!TODO: using subcomponent in source expressions !TODO: using subcomponent in source expressions
subroutine C939_C942a_C945b(xsrc1a, xsrc1c, xsrc0, xsrc2a, xsrc2c, pos) subroutine C939_C942a_C945b(xsrc1a, xsrc1c, xsrc0, xsrc2a, xsrc2c, pos)
! C939: If an allocate-object is an array, either allocate-shape-spec-list shall ! C939: If an allocate-object is an array, either allocate-shape-spec-list shall
! appear in its allocation, or source-expr shall appear in the ALLOCATE ! appear in its allocation, or source-expr shall appear in the ALLOCATE
▲ Show 20 Lines • Show All 149 Lines • Show Last 20 Lines

flang/test/Semantics/allocate11.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
! TODO: Function Pointer in allocate and derived types! ! TODO: Function Pointer in allocate and derived types!
! Rules I should know when working with coarrays and derived type: ! Rules I should know when working with coarrays and derived type:
! C736: If EXTENDS appears and the type being defined has a coarray ultimate ! C736: If EXTENDS appears and the type being defined has a coarray ultimate
! component, its parent type shall have a coarray ultimate component. ! component, its parent type shall have a coarray ultimate component.
▲ Show 20 Lines • Show All 152 Lines • Show Last 20 Lines

flang/test/Semantics/allocate12.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
subroutine C941_C942b_C950(xsrc, x1, a2, b2, cx1, ca2, cb1, cb2, c1) subroutine C941_C942b_C950(xsrc, x1, a2, b2, cx1, ca2, cb1, cb2, c1)
! C941: An allocate-coarray-spec shall appear if and only if the allocate-object ! C941: An allocate-coarray-spec shall appear if and only if the allocate-object
! is a coarray. ! is a coarray.
type type0 type type0
real, allocatable :: array(:) real, allocatable :: array(:)
end type end type
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines

flang/test/Semantics/allocate13.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in ALLOCATE statements ! Check for semantic errors in ALLOCATE statements
module not_iso_fortran_env module not_iso_fortran_env
type event_type type event_type
end type end type
type lock_type type lock_type
end type end type
end module end module
▲ Show 20 Lines • Show All 164 Lines • Show Last 20 Lines

flang/test/Semantics/altreturn01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check calls with alt returns ! Check calls with alt returns
CALL TEST (N, *100, *200 ) CALL TEST (N, *100, *200 )
PRINT *,'Normal return' PRINT *,'Normal return'
STOP STOP
100 PRINT *,'First alternate return' 100 PRINT *,'First alternate return'
STOP STOP
200 PRINT *,'Secondnd alternate return' 200 PRINT *,'Secondnd alternate return'
END END

flang/test/Semantics/altreturn02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check subroutine with alt return ! Check subroutine with alt return
SUBROUTINE TEST (N, *, *) SUBROUTINE TEST (N, *, *)
IF ( N .EQ. 0 ) RETURN IF ( N .EQ. 0 ) RETURN
IF ( N .EQ. 1 ) RETURN 1 IF ( N .EQ. 1 ) RETURN 1
RETURN 2 RETURN 2
END END

flang/test/Semantics/altreturn03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for various alt return error conditions ! Check for various alt return error conditions
SUBROUTINE TEST (N, *, *) SUBROUTINE TEST (N, *, *)
REAL :: R REAL :: R
COMPLEX :: Z COMPLEX :: Z
INTEGER, DIMENSION(2) :: B INTEGER, DIMENSION(2) :: B
IF ( N .EQ. 0 ) RETURN IF ( N .EQ. 0 ) RETURN
IF ( N .EQ. 1 ) RETURN 1 IF ( N .EQ. 1 ) RETURN 1
Show All 13 Lines

flang/test/Semantics/altreturn04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Functions cannot use alt return ! Functions cannot use alt return
REAL FUNCTION altreturn01(X) REAL FUNCTION altreturn01(X)
!ERROR: RETURN with expression is only allowed in SUBROUTINE subprogram !ERROR: RETURN with expression is only allowed in SUBROUTINE subprogram
RETURN 1 RETURN 1
END END

flang/test/Semantics/altreturn05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test extension: RETURN from main program ! Test extension: RETURN from main program
return !ok return !ok
!ERROR: RETURN with expression is only allowed in SUBROUTINE subprogram !ERROR: RETURN with expression is only allowed in SUBROUTINE subprogram
return 0 return 0
end end

flang/test/Semantics/assign01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! 10.2.3.1(2) All masks and LHS of assignments in a WHERE must conform ! 10.2.3.1(2) All masks and LHS of assignments in a WHERE must conform
subroutine s1 subroutine s1
integer :: a1(10), a2(10) integer :: a1(10), a2(10)
logical :: m1(10), m2(5,5) logical :: m1(10), m2(5,5)
m1 = .true. m1 = .true.
m2 = .false. m2 = .false.
a1 = [((i),i=1,10)] a1 = [((i),i=1,10)]
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/assign02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Pointer assignment constraints 10.2.2.2 ! Pointer assignment constraints 10.2.2.2
module m1 module m1
type :: t(k) type :: t(k)
integer, kind :: k integer, kind :: k
end type end type
type t2 type t2
sequence sequence
▲ Show 20 Lines • Show All 186 Lines • Show Last 20 Lines

flang/test/Semantics/assign03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Pointer assignment constraints 10.2.2.2 (see also assign02.f90) ! Pointer assignment constraints 10.2.2.2 (see also assign02.f90)
module m module m
interface interface
subroutine s(i) subroutine s(i)
integer i integer i
end end
end interface end interface
▲ Show 20 Lines • Show All 193 Lines • Show Last 20 Lines

flang/test/Semantics/assign04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! 9.4.5 ! 9.4.5
subroutine s1 subroutine s1
type :: t(k, l) type :: t(k, l)
integer, kind :: k integer, kind :: k
integer, len :: l integer, len :: l
end type end type
type(t(1, 2)) :: x type(t(1, 2)) :: x
!ERROR: Assignment to constant 'x%k' is not allowed !ERROR: Assignment to constant 'x%k' is not allowed
▲ Show 20 Lines • Show All 108 Lines • Show Last 20 Lines

flang/test/Semantics/assign06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test ASSIGN statement, assigned GOTO, and assigned format labels ! Test ASSIGN statement, assigned GOTO, and assigned format labels
! (see subclause 8.2.4 in Fortran 90 (*not* 2018!) ! (see subclause 8.2.4 in Fortran 90 (*not* 2018!)
program main program main
call test(0) call test(0)
contains contains
subroutine test(n) subroutine test(n)
integer, intent(in) :: n integer, intent(in) :: n
Show All 38 Lines

flang/test/Semantics/assign07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test ASSIGN statement, assigned GOTO, and assigned format labels ! Test ASSIGN statement, assigned GOTO, and assigned format labels
! (see subclause 8.2.4 in Fortran 90 (*not* 2018!) ! (see subclause 8.2.4 in Fortran 90 (*not* 2018!)
program main program main
call test(0) call test(0)
2 format('no') 2 format('no')
contains contains
subroutine test(n) subroutine test(n)
Show All 26 Lines

flang/test/Semantics/bad-forward-type.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Forward references to derived types (error cases) ! Forward references to derived types (error cases)
! C732 A parent-type-name shall be the name of a previously defined ! C732 A parent-type-name shall be the name of a previously defined
! extensible type (7.5.7). ! extensible type (7.5.7).
!ERROR: The derived type 'undef' was forward-referenced but not defined !ERROR: The derived type 'undef' was forward-referenced but not defined
type(undef) function f1() type(undef) function f1()
call sub(f1) call sub(f1)
end function end function
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

flang/test/Semantics/bindings01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Confirm enforcement of constraints and restrictions in 7.5.7.3 ! Confirm enforcement of constraints and restrictions in 7.5.7.3
! and C733, C734 and C779, C780, C781, C782, C783, C784, and C785. ! and C733, C734 and C779, C780, C781, C782, C783, C784, and C785.
module m module m
!ERROR: An ABSTRACT derived type must be extensible !ERROR: An ABSTRACT derived type must be extensible
type, abstract, bind(c) :: badAbstract1 type, abstract, bind(c) :: badAbstract1
end type end type
!ERROR: An ABSTRACT derived type must be extensible !ERROR: An ABSTRACT derived type must be extensible
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

flang/test/Semantics/block-data01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test BLOCK DATA subprogram (14.3) ! Test BLOCK DATA subprogram (14.3)
block data foo block data foo
!ERROR: IMPORT is not allowed in a BLOCK DATA subprogram !ERROR: IMPORT is not allowed in a BLOCK DATA subprogram
import import
real :: pi = asin(-1.0) ! ok real :: pi = asin(-1.0) ! ok
!ERROR: An initialized variable in BLOCK DATA must be in a COMMON block !ERROR: An initialized variable in BLOCK DATA must be in a COMMON block
integer :: notInCommon = 1 integer :: notInCommon = 1
integer :: uninitialized ! ok integer :: uninitialized ! ok
Show All 19 Lines

flang/test/Semantics/blockconstruct01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1107 -- COMMON, EQUIVALENCE, INTENT, NAMELIST, OPTIONAL, VALUE or ! C1107 -- COMMON, EQUIVALENCE, INTENT, NAMELIST, OPTIONAL, VALUE or
! STATEMENT FUNCTIONS not allow in specification part ! STATEMENT FUNCTIONS not allow in specification part
subroutine s1_c1107 subroutine s1_c1107
common /nl/x common /nl/x
block block
!ERROR: COMMON statement is not allowed in a BLOCK construct !ERROR: COMMON statement is not allowed in a BLOCK construct
common /nl/y common /nl/y
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Semantics/blockconstruct02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1108 -- Save statement in a BLOCK construct shall not conatin a ! C1108 -- Save statement in a BLOCK construct shall not conatin a
! saved-entity-list that does not specify a common-block-name ! saved-entity-list that does not specify a common-block-name
program main program main
integer x, y, z integer x, y, z
real r, s, t real r, s, t
common /argmnt2/ r, s, t common /argmnt2/ r, s, t
!ERROR: 'argmnt1' appears as a COMMON block in a SAVE statement but not in a COMMON statement !ERROR: 'argmnt1' appears as a COMMON block in a SAVE statement but not in a COMMON statement
save /argmnt1/ save /argmnt1/
block block
!ERROR: SAVE statement in BLOCK construct may not contain a common block name 'argmnt2' !ERROR: SAVE statement in BLOCK construct may not contain a common block name 'argmnt2'
save /argmnt2/ save /argmnt2/
end block end block
end program end program

flang/test/Semantics/blockconstruct03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests implemented for this standard: ! Tests implemented for this standard:
! Block Construct ! Block Construct
! C1109 ! C1109
subroutine s5_c1109 subroutine s5_c1109
b1:block b1:block
!ERROR: BLOCK construct name mismatch !ERROR: BLOCK construct name mismatch
end block b2 end block b2
end end

flang/test/Semantics/c_f_pointer.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Enforce 18.2.3.3 ! Enforce 18.2.3.3
program test program test
use iso_c_binding, only: c_ptr, c_f_pointer use iso_c_binding, only: c_ptr, c_f_pointer
type(c_ptr) :: scalarC, arrayC(1) type(c_ptr) :: scalarC, arrayC(1)
type :: with_pointer type :: with_pointer
integer, pointer :: p integer, pointer :: p
end type end type
Show All 23 Lines

flang/test/Semantics/call01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Confirm enforcement of constraints and restrictions in 15.6.2.1 ! Confirm enforcement of constraints and restrictions in 15.6.2.1
non_recursive function f01(n) result(res) non_recursive function f01(n) result(res)
integer, value :: n integer, value :: n
integer :: res integer :: res
if (n <= 0) then if (n <= 0) then
res = n res = n
else else
▲ Show 20 Lines • Show All 108 Lines • Show Last 20 Lines

flang/test/Semantics/call02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! 15.5.1 procedure reference constraints and restrictions ! 15.5.1 procedure reference constraints and restrictions
subroutine s01(elem, subr) subroutine s01(elem, subr)
interface interface
elemental real function elem(x) elemental real function elem(x)
real, intent(in), value :: x real, intent(in), value :: x
end function end function
subroutine subr(dummy) subroutine subr(dummy)
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

flang/test/Semantics/call03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.4 constraints and restrictions for non-POINTER non-ALLOCATABLE ! Test 15.5.2.4 constraints and restrictions for non-POINTER non-ALLOCATABLE
! dummy arguments. ! dummy arguments.
module m01 module m01
type :: t type :: t
end type end type
type :: pdt(n) type :: pdt(n)
integer, len :: n integer, len :: n
▲ Show 20 Lines • Show All 303 Lines • Show Last 20 Lines

flang/test/Semantics/call04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 8.5.10 & 8.5.18 constraints on dummy argument declarations ! Test 8.5.10 & 8.5.18 constraints on dummy argument declarations
module m module m
type :: hasCoarray type :: hasCoarray
real, allocatable :: a(:)[:] real, allocatable :: a(:)[:]
end type end type
type, extends(hasCoarray) :: extendsHasCoarray type, extends(hasCoarray) :: extendsHasCoarray
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

flang/test/Semantics/call05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.5 constraints and restrictions for POINTER & ALLOCATABLE ! Test 15.5.2.5 constraints and restrictions for POINTER & ALLOCATABLE
! arguments when both sides of the call have the same attributes. ! arguments when both sides of the call have the same attributes.
module m module m
type :: t type :: t
end type end type
type, extends(t) :: t2 type, extends(t) :: t2
▲ Show 20 Lines • Show All 111 Lines • Show Last 20 Lines

flang/test/Semantics/call06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.6 constraints and restrictions for ALLOCATABLE ! Test 15.5.2.6 constraints and restrictions for ALLOCATABLE
! dummy arguments. ! dummy arguments.
module m module m
real, allocatable :: cov[:], com[:,:] real, allocatable :: cov[:], com[:,:]
contains contains
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

flang/test/Semantics/call07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.7 constraints and restrictions for POINTER dummy arguments. ! Test 15.5.2.7 constraints and restrictions for POINTER dummy arguments.
module m module m
real :: coarray(10)[*] real :: coarray(10)[*]
contains contains
subroutine s01(p) subroutine s01(p)
real, pointer, contiguous, intent(in) :: p(:) real, pointer, contiguous, intent(in) :: p(:)
Show All 33 Lines

flang/test/Semantics/call08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.8 coarray dummy arguments ! Test 15.5.2.8 coarray dummy arguments
module m module m
real :: c1[*] real :: c1[*]
real, volatile :: c2[*] real, volatile :: c2[*]
contains contains
Show All 39 Lines

flang/test/Semantics/call09.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.9(2,3,5) dummy procedure requirements ! Test 15.5.2.9(2,3,5) dummy procedure requirements
module m module m
contains contains
integer function intfunc(x) integer function intfunc(x)
integer, intent(in) :: x integer, intent(in) :: x
intfunc = x intfunc = x
▲ Show 20 Lines • Show All 155 Lines • Show Last 20 Lines

flang/test/Semantics/call10.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.7 (C1583-C1590, C1592-C1599) constraints and restrictions ! Test 15.7 (C1583-C1590, C1592-C1599) constraints and restrictions
! for pure procedures. ! for pure procedures.
! (C1591 is tested in call11.f90; C1594 in call12.f90.) ! (C1591 is tested in call11.f90; C1594 in call12.f90.)
module m module m
type :: impureFinal type :: impureFinal
contains contains
▲ Show 20 Lines • Show All 205 Lines • Show Last 20 Lines

flang/test/Semantics/call11.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.7 C1591 & others: contexts requiring pure subprograms ! Test 15.7 C1591 & others: contexts requiring pure subprograms
module m module m
type :: t type :: t
contains contains
procedure, nopass :: tbp_pure => pure procedure, nopass :: tbp_pure => pure
procedure, nopass :: tbp_impure => impure procedure, nopass :: tbp_impure => impure
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

flang/test/Semantics/call12.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.7 C1594 - prohibited assignments in pure subprograms ! Test 15.7 C1594 - prohibited assignments in pure subprograms
module used module used
real :: useassociated real :: useassociated
end module end module
module m module m
type :: t type :: t
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/call13.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 15.4.2.2 constraints and restrictions for calls to implicit ! Test 15.4.2.2 constraints and restrictions for calls to implicit
! interfaces ! interfaces
subroutine s(assumedRank, coarray, class, classStar, typeStar) subroutine s(assumedRank, coarray, class, classStar, typeStar)
type :: t type :: t
end type end type
real :: assumedRank(..), coarray[*] real :: assumedRank(..), coarray[*]
Show All 34 Lines

flang/test/Semantics/call14.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test 8.5.18 constraints on the VALUE attribute ! Test 8.5.18 constraints on the VALUE attribute
module m module m
type :: hasCoarray type :: hasCoarray
real, allocatable :: coarray[:] real, allocatable :: coarray[:]
end type end type
contains contains
!ERROR: VALUE attribute may apply only to a dummy data object !ERROR: VALUE attribute may apply only to a dummy data object
Show All 29 Lines

flang/test/Semantics/call15.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C711 An assumed-type actual argument that corresponds to an assumed-rank ! C711 An assumed-type actual argument that corresponds to an assumed-rank
! dummy argument shall be assumed-shape or assumed-rank. ! dummy argument shall be assumed-shape or assumed-rank.
subroutine s(arg1, arg2, arg3) subroutine s(arg1, arg2, arg3)
type(*), dimension(..) :: arg1 ! assumed rank type(*), dimension(..) :: arg1 ! assumed rank
type(*), dimension(:) :: arg2 ! assumed shape type(*), dimension(:) :: arg2 ! assumed shape
type(*) :: arg3 type(*) :: arg3
call inner(arg1) ! OK, assumed rank call inner(arg1) ! OK, assumed rank
Show All 9 Lines

flang/test/Semantics/canondo01.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: end do ! CHECK: end do
SUBROUTINE sub00(a,b,n,m) SUBROUTINE sub00(a,b,n,m)
INTEGER n,m INTEGER n,m
REAL a(n,m), b(n,m) REAL a(n,m), b(n,m)
DO 10 j = 1,m DO 10 j = 1,m
DO 10 i = 1,n DO 10 i = 1,n
g = a(i,j) - b(i,j) g = a(i,j) - b(i,j)
10 PRINT *, g 10 PRINT *, g
END SUBROUTINE sub00 END SUBROUTINE sub00

flang/test/Semantics/canondo02.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: end do ! CHECK: end do
SUBROUTINE sub00(a,b,n,m) SUBROUTINE sub00(a,b,n,m)
INTEGER n,m INTEGER n,m
REAL a(n,m), b(n,m) REAL a(n,m), b(n,m)
i = n-1 i = n-1
DO 10 j = 1,m DO 10 j = 1,m
g = a(i,j) - b(i,j) g = a(i,j) - b(i,j)
10 PRINT *, g 10 PRINT *, g
END SUBROUTINE sub00 END SUBROUTINE sub00

flang/test/Semantics/canondo03.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: 10 continue ! CHECK: 10 continue
! CHECK: end do ! CHECK: end do
SUBROUTINE sub00(a,b,n,m) SUBROUTINE sub00(a,b,n,m)
INTEGER n,m INTEGER n,m
REAL a(n,m), b(n,m) REAL a(n,m), b(n,m)
i = n-1 i = n-1
DO 10 j = 1,m DO 10 j = 1,m
g = a(i,j) - b(i,j) g = a(i,j) - b(i,j)
PRINT *, g PRINT *, g
10 END DO 10 END DO
END SUBROUTINE sub00 END SUBROUTINE sub00

flang/test/Semantics/canondo04.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: do [1-9] ! CHECK-NOT: do [1-9]
! Figure out how to also execute this test. ! Figure out how to also execute this test.
program main program main
integer :: results(100) integer :: results(100)
integer :: count integer :: count
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

flang/test/Semantics/canondo05.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! XXXEXEC: ${F18} -fopenmp -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! XXXEXEC: ${F18} -fopenmp -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: do *[1-9] ! CHECK-NOT: do *[1-9]
program P program P
implicit none implicit none
integer OMP_GET_NUM_THREADS, OMP_GET_THREAD_NUM integer OMP_GET_NUM_THREADS, OMP_GET_THREAD_NUM
integer NUMTHRDS, TID integer NUMTHRDS, TID
Show All 32 Lines

flang/test/Semantics/canondo06.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -fopenmp -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -fopenmp -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: do *[1-9] ! CHECK-NOT: do *[1-9]
! CHECK: omp simd ! CHECK: omp simd
program P program P
implicit none implicit none
integer N, I integer N, I
parameter (N=100) parameter (N=100)
Show All 17 Lines

flang/test/Semantics/canondo07.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1131 ! See R1131 and C1131
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
! CHECK: A DO loop should terminate with an END DO or CONTINUE ! CHECK: A DO loop should terminate with an END DO or CONTINUE
program endDo program endDo
do 10 i = 1, 5 do 10 i = 1, 5
10 print *, "in loop" 10 print *, "in loop"
end program endDo end program endDo

flang/test/Semantics/canondo08.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 16 Lines

flang/test/Semantics/canondo09.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 15 Lines

flang/test/Semantics/canondo10.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 20 Lines

flang/test/Semantics/canondo11.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 17 Lines

flang/test/Semantics/canondo12.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 18 Lines

flang/test/Semantics/canondo13.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 16 Lines

flang/test/Semantics/canondo14.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 22 Lines

flang/test/Semantics/canondo15.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 21 Lines

flang/test/Semantics/canondo16.f90

! RUN: %S/test_any.sh %s %f18 %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard -I../../include/flang %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
! CHECK: end do ! CHECK: end do
! The following CHECK-NOT actively uses the fact that the leading zero of labels ! The following CHECK-NOT actively uses the fact that the leading zero of labels
! would be removed in the unparse but not the line linked to warnings. We do ! would be removed in the unparse but not the line linked to warnings. We do
! not want to see label do in the unparse only. ! not want to see label do in the unparse only.
! CHECK-NOT: do [1-9] ! CHECK-NOT: do [1-9]
Show All 9 Lines

flang/test/Semantics/canondo17.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 17 Lines

flang/test/Semantics/canondo18.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Error test -- DO loop uses obsolete loop termination statement ! Error test -- DO loop uses obsolete loop termination statement
! See R1131 and C1133 ! See R1131 and C1133
! By default, this is not an error and label do are rewritten to non-label do. ! By default, this is not an error and label do are rewritten to non-label do.
! A warning is generated with -Mstandard ! A warning is generated with -Mstandard
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
Show All 19 Lines

flang/test/Semantics/canondo19.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Check that if there is a label or a name on an label-do-stmt, ! Check that if there is a label or a name on an label-do-stmt,
! then it is not lost when rewriting it to an non-label-do-stmt. ! then it is not lost when rewriting it to an non-label-do-stmt.
! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols -Mstandard %s 2>&1 | ${FileCheck} %s
! CHECK: end do ! CHECK: end do
! CHECK: 2 do ! CHECK: 2 do
! CHECK: mainloop: do ! CHECK: mainloop: do
Show All 20 Lines

flang/test/Semantics/case01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test SELECT CASE Constraints: C1145, C1146, C1147, C1148, C1149 ! Test SELECT CASE Constraints: C1145, C1146, C1147, C1148, C1149
program selectCaseProg program selectCaseProg
implicit none implicit none
! local variable declaration ! local variable declaration
character :: grade1 = 'B' character :: grade1 = 'B'
integer :: grade2 = 3 integer :: grade2 = 3
logical :: grade3 = .false. logical :: grade3 = .false.
real :: grade4 = 2.0 real :: grade4 = 2.0
▲ Show 20 Lines • Show All 156 Lines • Show Last 20 Lines

flang/test/Semantics/coarrays01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test selector and team-value in CHANGE TEAM statement ! Test selector and team-value in CHANGE TEAM statement
! OK ! OK
subroutine s1 subroutine s1
use iso_fortran_env, only: team_type use iso_fortran_env, only: team_type
type(team_type) :: t type(team_type) :: t
real :: y[10,*] real :: y[10,*]
change team(t, x[10,*] => y) change team(t, x[10,*] => y)
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

flang/test/Semantics/common.sh

# Common functionality for test scripts # Common functionality for test scripts
# Process arguments, expecting source file as 1st; optional path to f18 as 2nd # Process arguments, expecting source file as 1st; optional path to f18 as 2nd
# Set: $F18 to the path to f18; $temp to an empty temp directory; $src # Set: $F18 to the path to f18 with options; $temp to an empty temp directory;
# to the full path of the single source argument; and $USER_OPTIONS to the # and $src to the full path of the single source argument.
# option list given in the $src file after string "OPTIONS:"
function die { function die {
echo "$(basename $0): $*" >&2 echo "$(basename $0): $*" >&2
exit 1 exit 1
} }
if [[ $# < 3 ]]; then if [[ $# < 3 ]]; then
echo "Usage: $(basename $0) <fortran-source> <f18-executable> <temp test dir>" echo "Usage: $(basename $0) <fortran-source> <temp test dir> <f18-command>"
exit 1 exit 1
fi fi
case $1 in case $1 in
(/*) src=$1 ;; (/*) src="$1" ;;
(*) src=$(dirname $0)/$1 ;; (*) src="$(dirname $0)/$1" ;;
esac esac
USER_OPTIONS=`sed -n 's/^ *! *OPTIONS: *//p' $src` shift
echo $USER_OPTIONS temp=$1
F18=$2
[[ ! -f $F18 ]] && die "f18 executable not found: $F18"
temp=$3
mkdir -p $temp mkdir -p $temp
shift
[[ ! -f $1 ]] && die "f18 executable not found: $1"
F18="$*"

flang/test/Semantics/complex01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C718 Each named constant in a complex literal constant shall be of type ! C718 Each named constant in a complex literal constant shall be of type
! integer or real. ! integer or real.
subroutine s() subroutine s()
integer :: ivar = 35 integer :: ivar = 35
integer, parameter :: iconst = 35 integer, parameter :: iconst = 35
real :: rvar = 68.9 real :: rvar = 68.9
real, parameter :: rconst = 68.9 real, parameter :: rconst = 68.9
character :: cvar = 'hello' character :: cvar = 'hello'
Show All 24 Lines

flang/test/Semantics/computed-goto01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that a basic computed goto compiles ! Check that a basic computed goto compiles
INTEGER, DIMENSION (2) :: B INTEGER, DIMENSION (2) :: B
GOTO (100) 1 GOTO (100) 1
GOTO (100) I GOTO (100) I
GOTO (100) I+J GOTO (100) I+J
GOTO (100) B(1) GOTO (100) B(1)
Show All 15 Lines

flang/test/Semantics/computed-goto02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that computed goto express must be a scalar integer expression ! Check that computed goto express must be a scalar integer expression
! TODO: PGI, for example, accepts a float & converts the value to int. ! TODO: PGI, for example, accepts a float & converts the value to int.
REAL R REAL R
COMPLEX Z COMPLEX Z
LOGICAL L LOGICAL L
INTEGER, DIMENSION (2) :: B INTEGER, DIMENSION (2) :: B
Show All 14 Lines

flang/test/Semantics/critical01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!C1117 !C1117
subroutine test1(a, i) subroutine test1(a, i)
integer i integer i
real a(10) real a(10)
one: critical one: critical
if (a(i) < 0.0) then if (a(i) < 0.0) then
a(i) = 20.20 a(i) = 20.20
Show All 15 Lines

flang/test/Semantics/critical02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!C1118 !C1118
subroutine test1 subroutine test1
critical critical
!ERROR: RETURN statement is not allowed in a CRITICAL construct !ERROR: RETURN statement is not allowed in a CRITICAL construct
return return
end critical end critical
end subroutine test1 end subroutine test1
▲ Show 20 Lines • Show All 113 Lines • Show Last 20 Lines

flang/test/Semantics/critical03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!C1119 !C1119
subroutine test1(a, i) subroutine test1(a, i)
integer i integer i
real a(10) real a(10)
critical critical
if (a(i) < 0.0) then if (a(i) < 0.0) then
a(i) = 20.20 a(i) = 20.20
Show All 26 Lines

flang/test/Semantics/critical04.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: Control flow escapes from CRITICAL ! CHECK-NOT: Control flow escapes from CRITICAL
subroutine test1(a, i) subroutine test1(a, i)
integer i integer i
real a(10) real a(10)
critical critical
if (a(i) < 0.0) then if (a(i) < 0.0) then
Show All 24 Lines

flang/test/Semantics/data01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!Test for checking data constraints, C882-C887 !Test for checking data constraints, C882-C887
module m1 module m1
type person type person
integer :: age integer :: age
character(len=25) :: name character(len=25) :: name
end type end type
integer, parameter::digits(5) = ( /-11,-22,-33,44,55/ ) integer, parameter::digits(5) = ( /-11,-22,-33,44,55/ )
integer ::notConstDigits(5) = ( /-11,-22,-33,44,55/ ) integer ::notConstDigits(5) = ( /-11,-22,-33,44,55/ )
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

flang/test/Semantics/data02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that expressions are analyzed in data statements ! Check that expressions are analyzed in data statements
subroutine s1 subroutine s1
type :: t type :: t
character(1) :: c character(1) :: c
end type end type
type(t) :: x type(t) :: x
!ERROR: Value in structure constructor of type INTEGER(4) is incompatible with component 'c' of type CHARACTER(KIND=1,LEN=1_4) !ERROR: Value in structure constructor of type INTEGER(4) is incompatible with component 'c' of type CHARACTER(KIND=1,LEN=1_4)
Show All 23 Lines

flang/test/Semantics/data03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!Testing data constraints : C874 - C875, C878 - C881 !Testing data constraints : C874 - C875, C878 - C881
module m module m
integer, target :: modarray(1) integer, target :: modarray(1)
contains contains
function f(i) function f(i)
integer, intent(in) :: i integer, intent(in) :: i
integer, pointer :: f integer, pointer :: f
f => modarray(i) f => modarray(i)
▲ Show 20 Lines • Show All 75 Lines • Show Last 20 Lines

flang/test/Semantics/deallocate01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test that DEALLOCATE works ! Test that DEALLOCATE works
INTEGER, PARAMETER :: maxvalue=1024 INTEGER, PARAMETER :: maxvalue=1024
Type dt Type dt
Integer :: l = 3 Integer :: l = 3
End Type End Type
Type t Type t
Show All 39 Lines

flang/test/Semantics/deallocate04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for type errors in DEALLOCATE statements ! Check for type errors in DEALLOCATE statements
INTEGER, PARAMETER :: maxvalue=1024 INTEGER, PARAMETER :: maxvalue=1024
Type dt Type dt
Integer :: l = 3 Integer :: l = 3
End Type End Type
Type t Type t
Show All 22 Lines

flang/test/Semantics/deallocate05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in DEALLOCATE statements ! Check for semantic errors in DEALLOCATE statements
Module share Module share
Real, Pointer :: rp Real, Pointer :: rp
End Module share End Module share
Program deallocatetest Program deallocatetest
Use share Use share
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Semantics/doconcurrent01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1141 ! C1141
! A reference to the procedure IEEE_SET_HALTING_MODE ! from the intrinsic ! A reference to the procedure IEEE_SET_HALTING_MODE ! from the intrinsic
! module IEEE_EXCEPTIONS, shall not ! appear within a DO CONCURRENT construct. ! module IEEE_EXCEPTIONS, shall not ! appear within a DO CONCURRENT construct.
! !
! C1137 ! C1137
! An image control statement shall not appear within a DO CONCURRENT construct. ! An image control statement shall not appear within a DO CONCURRENT construct.
! !
! C1136 ! C1136
▲ Show 20 Lines • Show All 233 Lines • Show Last 20 Lines

flang/test/Semantics/doconcurrent02.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative tests: we don't want DO CONCURRENT semantics constraints checked ! negative tests: we don't want DO CONCURRENT semantics constraints checked
! when the loops are not DO CONCURRENT ! when the loops are not DO CONCURRENT
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: image control statement not allowed in DO CONCURRENT ! CHECK-NOT: image control statement not allowed in DO CONCURRENT
! CHECK-NOT: RETURN not allowed in DO CONCURRENT ! CHECK-NOT: RETURN not allowed in DO CONCURRENT
! CHECK-NOT: call to impure procedure in DO CONCURRENT not allowed ! CHECK-NOT: call to impure procedure in DO CONCURRENT not allowed
! CHECK-NOT: IEEE_GET_FLAG not allowed in DO CONCURRENT ! CHECK-NOT: IEEE_GET_FLAG not allowed in DO CONCURRENT
Show All 33 Lines

flang/test/Semantics/doconcurrent03.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Control flow escapes from DO CONCURRENT ! CHECK: Control flow escapes from DO CONCURRENT
! CHECK: branch into loop body from outside ! CHECK: branch into loop body from outside
! CHECK: the loop branched into ! CHECK: the loop branched into
subroutine s(a) subroutine s(a)
integer i integer i
real a(10) real a(10)
Show All 12 Lines

flang/test/Semantics/doconcurrent04.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! C1122 The index-name shall be a named scalar variable of type integer. ! C1122 The index-name shall be a named scalar variable of type integer.
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Must have INTEGER type, but is REAL\\(4\\) ! CHECK: Must have INTEGER type, but is REAL\\(4\\)
subroutine do_concurrent_test1(n) subroutine do_concurrent_test1(n)
implicit none implicit none
integer :: n integer :: n
real :: j real :: j
do 20 concurrent (j = 1:n) do 20 concurrent (j = 1:n)
20 enddo 20 enddo
end subroutine do_concurrent_test1 end subroutine do_concurrent_test1

flang/test/Semantics/doconcurrent05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if ! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if
! it belongs to that construct or an outer construct. ! it belongs to that construct or an outer construct.
subroutine do_concurrent_test1(n) subroutine do_concurrent_test1(n)
implicit none implicit none
integer :: n integer :: n
integer :: j,k integer :: j,k
mydoc: do concurrent(j=1:n) mydoc: do concurrent(j=1:n)
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/doconcurrent06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if ! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if
! it belongs to that construct or an outer construct. ! it belongs to that construct or an outer construct.
subroutine do_concurrent_test1(n) subroutine do_concurrent_test1(n)
implicit none implicit none
integer :: i1,i2,i3,i4,i5,i6,n integer :: i1,i2,i3,i4,i5,i6,n
mytest1: if (n>0) then mytest1: if (n>0) then
nc1: do concurrent(i1=1:n) nc1: do concurrent(i1=1:n)
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

flang/test/Semantics/doconcurrent07.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK-NOT: exit from DO CONCURRENT construct ! CHECK-NOT: exit from DO CONCURRENT construct
subroutine do_concurrent_test1(n) subroutine do_concurrent_test1(n)
implicit none implicit none
integer :: j,k,l,n integer :: j,k,l,n
mytest: if (n>0) then mytest: if (n>0) then
mydoc: do concurrent(j=1:n) mydoc: do concurrent(j=1:n)
Show All 34 Lines

flang/test/Semantics/doconcurrent08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1140 -- A statement that might result in the deallocation of a polymorphic ! C1140 -- A statement that might result in the deallocation of a polymorphic
! entity shall not appear within a DO CONCURRENT construct. ! entity shall not appear within a DO CONCURRENT construct.
module m1 module m1
! Base type with scalar components ! Base type with scalar components
type :: Base type :: Base
integer :: baseField1 integer :: baseField1
end type end type
▲ Show 20 Lines • Show All 267 Lines • Show Last 20 Lines

flang/test/Semantics/dosemantics01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1131 -- check valid and invalid DO loop naming ! C1131 -- check valid and invalid DO loop naming
PROGRAM C1131 PROGRAM C1131
IMPLICIT NONE IMPLICIT NONE
! Valid construct ! Valid construct
validDo: DO WHILE (.true.) validDo: DO WHILE (.true.)
PRINT *, "Hello" PRINT *, "Hello"
END DO ValidDo END DO ValidDo
Show All 14 Lines

flang/test/Semantics/dosemantics02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1121 -- any procedure referenced in a concurrent header must be pure ! C1121 -- any procedure referenced in a concurrent header must be pure
! Also, check that the step expressions are not zero. This is prohibited by ! Also, check that the step expressions are not zero. This is prohibited by
! Section 11.1.7.4.1, paragraph 1. ! Section 11.1.7.4.1, paragraph 1.
SUBROUTINE do_concurrent_c1121(i,n) SUBROUTINE do_concurrent_c1121(i,n)
IMPLICIT NONE IMPLICIT NONE
INTEGER :: i, n, flag INTEGER :: i, n, flag
Show All 33 Lines

flang/test/Semantics/dosemantics03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -Mstandard -Werror
! Issue 458 -- semantic checks for a normal DO loop. The DO variable ! Issue 458 -- semantic checks for a normal DO loop. The DO variable
! and the initial, final, and step expressions must be INTEGER if the ! and the initial, final, and step expressions must be INTEGER if the
! options for standard conformance and turning warnings into errors ! options for standard conformance and turning warnings into errors
! are both in effect. This test turns on the options for standards ! are both in effect. This test turns on the options for standards
! conformance and turning warnings into errors. This produces error ! conformance and turning warnings into errors. This produces error
! messages for the cases where REAL and DOUBLE PRECISION variables ! messages for the cases where REAL and DOUBLE PRECISION variables
! and expressions are used in the DO controls. ! and expressions are used in the DO controls.
!OPTIONS: -Mstandard -Werror
! C1120 -- DO variable (and associated expressions) must be INTEGER. ! C1120 -- DO variable (and associated expressions) must be INTEGER.
! This is extended by allowing REAL and DOUBLE PRECISION ! This is extended by allowing REAL and DOUBLE PRECISION
MODULE share MODULE share
INTEGER :: intvarshare INTEGER :: intvarshare
REAL :: realvarshare REAL :: realvarshare
DOUBLE PRECISION :: dpvarshare DOUBLE PRECISION :: dpvarshare
END MODULE share END MODULE share
▲ Show 20 Lines • Show All 271 Lines • Show Last 20 Lines

flang/test/Semantics/dosemantics04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1123 -- Expressions in DO CONCURRENT header cannot reference variables ! C1123 -- Expressions in DO CONCURRENT header cannot reference variables
! declared in the same header ! declared in the same header
PROGRAM dosemantics04 PROGRAM dosemantics04
IMPLICIT NONE IMPLICIT NONE
INTEGER :: a, i, j, k, n INTEGER :: a, i, j, k, n
!ERROR: DO CONCURRENT mask expression references variable 'n' in LOCAL locality-spec !ERROR: DO CONCURRENT mask expression references variable 'n' in LOCAL locality-spec
DO CONCURRENT (INTEGER *2 :: i = 1:10, i < j + n) LOCAL(n) DO CONCURRENT (INTEGER *2 :: i = 1:10, i < j + n) LOCAL(n)
Show All 28 Lines

flang/test/Semantics/dosemantics05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test DO loop semantics for constraint C1130 -- ! Test DO loop semantics for constraint C1130 --
! The constraint states that "If the locality-spec DEFAULT ( NONE ) appears in a ! The constraint states that "If the locality-spec DEFAULT ( NONE ) appears in a
! DO CONCURRENT statement; a variable that is a local or construct entity of a ! DO CONCURRENT statement; a variable that is a local or construct entity of a
! scope containing the DO CONCURRENT construct; and that appears in the block of ! scope containing the DO CONCURRENT construct; and that appears in the block of
! the construct; shall have its locality explicitly specified by that ! the construct; shall have its locality explicitly specified by that
! statement." ! statement."
module m module m
▲ Show 20 Lines • Show All 90 Lines • Show Last 20 Lines

flang/test/Semantics/dosemantics06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1131, C1133 -- check valid and invalid DO loop naming ! C1131, C1133 -- check valid and invalid DO loop naming
! C1131 (R1119) If the do-stmt of a do-construct specifies a do-construct-name, ! C1131 (R1119) If the do-stmt of a do-construct specifies a do-construct-name,
! the corresponding end-do shall be an end-do-stmt specifying the same ! the corresponding end-do shall be an end-do-stmt specifying the same
! do-construct-name. If the do-stmt of a do-construct does not specify a ! do-construct-name. If the do-stmt of a do-construct does not specify a
! do-construct-name, the corresponding end-do shall not specify a ! do-construct-name, the corresponding end-do shall not specify a
! do-construct-name. ! do-construct-name.
! !
! C1133 (R1119) If the do-stmt is a label-do-stmt, the corresponding end-do ! C1133 (R1119) If the do-stmt is a label-do-stmt, the corresponding end-do
Show All 33 Lines

flang/test/Semantics/dosemantics07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!C1132 !C1132
! If the do-stmt is a nonlabel-do-stmt, the corresponding end-do shall be an ! If the do-stmt is a nonlabel-do-stmt, the corresponding end-do shall be an
! end-do-stmt. ! end-do-stmt.
subroutine s1() subroutine s1()
do while (.true.) do while (.true.)
print *, "Hello" print *, "Hello"
continue continue
!ERROR: expected 'END DO' !ERROR: expected 'END DO'
end subroutine s1 end subroutine s1

flang/test/Semantics/dosemantics08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1138 -- ! C1138 --
! A branch (11.2) within a DO CONCURRENT construct shall not have a branch ! A branch (11.2) within a DO CONCURRENT construct shall not have a branch
! target that is outside the construct. ! target that is outside the construct.
subroutine s1() subroutine s1()
do concurrent (i=1:10) do concurrent (i=1:10)
!ERROR: Control flow escapes from DO CONCURRENT !ERROR: Control flow escapes from DO CONCURRENT
goto 99 goto 99
end do end do
99 print *, "Hello" 99 print *, "Hello"
end subroutine s1 end subroutine s1

flang/test/Semantics/dosemantics09.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!C1129 !C1129
!A variable that is referenced by the scalar-mask-expr of a !A variable that is referenced by the scalar-mask-expr of a
!concurrent-header or by any concurrent-limit or concurrent-step in that !concurrent-header or by any concurrent-limit or concurrent-step in that
!concurrent-header shall not appear in a LOCAL locality-spec in the same DO !concurrent-header shall not appear in a LOCAL locality-spec in the same DO
!CONCURRENT statement. !CONCURRENT statement.
subroutine s1() subroutine s1()
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

flang/test/Semantics/dosemantics10.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1134 A CYCLE statement must be within a DO construct ! C1134 A CYCLE statement must be within a DO construct
! !
! C1166 An EXIT statement must be within a DO construct ! C1166 An EXIT statement must be within a DO construct
subroutine s1() subroutine s1()
! this one's OK ! this one's OK
do i = 1,10 do i = 1,10
cycle cycle
Show All 29 Lines

flang/test/Semantics/dosemantics11.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1135 A cycle-stmt shall not appear within a CHANGE TEAM, CRITICAL, or DO ! C1135 A cycle-stmt shall not appear within a CHANGE TEAM, CRITICAL, or DO
! CONCURRENT construct if it belongs to an outer construct. ! CONCURRENT construct if it belongs to an outer construct.
! !
! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if ! C1167 -- An exit-stmt shall not appear within a DO CONCURRENT construct if
! it belongs to that construct or an outer construct. ! it belongs to that construct or an outer construct.
! !
! C1168 -- An exit-stmt shall not appear within a CHANGE TEAM or CRITICAL ! C1168 -- An exit-stmt shall not appear within a CHANGE TEAM or CRITICAL
! construct if it belongs to an outer construct. ! construct if it belongs to an outer construct.
▲ Show 20 Lines • Show All 319 Lines • Show Last 20 Lines

flang/test/Semantics/dosemantics12.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Copyright (c) 2019, NVIDIA CORPORATION. All rights reserved. ! Copyright (c) 2019, NVIDIA CORPORATION. All rights reserved.
! !
! Licensed under the Apache License, Version 2.0 (the "License"); ! Licensed under the Apache License, Version 2.0 (the "License");
! you may not use this file except in compliance with the License. ! you may not use this file except in compliance with the License.
! You may obtain a copy of the License at ! You may obtain a copy of the License at
! !
! http://www.apache.org/licenses/LICENSE-2.0 ! http://www.apache.org/licenses/LICENSE-2.0
! !
▲ Show 20 Lines • Show All 458 Lines • Show Last 20 Lines

flang/test/Semantics/entry01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests valid and invalid ENTRY statements ! Tests valid and invalid ENTRY statements
module m1 module m1
!ERROR: ENTRY may appear only in a subroutine or function !ERROR: ENTRY may appear only in a subroutine or function
entry badentryinmodule entry badentryinmodule
interface interface
module subroutine separate module subroutine separate
end subroutine end subroutine
▲ Show 20 Lines • Show All 175 Lines • Show Last 20 Lines

flang/test/Semantics/equivalence01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
integer i, j integer i, j
real r(2) real r(2)
!ERROR: Equivalence set must have more than one object !ERROR: Equivalence set must have more than one object
equivalence(i, j),(r(1)) equivalence(i, j),(r(1))
end end
subroutine s2 subroutine s2
▲ Show 20 Lines • Show All 168 Lines • Show Last 20 Lines

flang/test/Semantics/expr-errors01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1003 - can't parenthesize function call returning procedure pointer ! C1003 - can't parenthesize function call returning procedure pointer
module m1 module m1
type :: dt type :: dt
procedure(frpp), pointer, nopass :: pp procedure(frpp), pointer, nopass :: pp
end type dt end type dt
contains contains
subroutine boring subroutine boring
end subroutine boring end subroutine boring
Show All 18 Lines

flang/test/Semantics/expr-errors02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test specification expressions ! Test specification expressions
module m module m
type :: t(n) type :: t(n)
integer, len :: n = 1 integer, len :: n = 1
character(len=n) :: c character(len=n) :: c
end type end type
interface interface
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

flang/test/Semantics/forall01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine forall1 subroutine forall1
real :: a(9) real :: a(9)
!ERROR: 'i' is already declared in this scoping unit !ERROR: 'i' is already declared in this scoping unit
!ERROR: Cannot redefine FORALL variable 'i' !ERROR: Cannot redefine FORALL variable 'i'
forall (i=1:8, i=1:9) a(i) = i forall (i=1:8, i=1:9) a(i) = i
!ERROR: 'i' is already declared in this scoping unit !ERROR: 'i' is already declared in this scoping unit
!ERROR: Cannot redefine FORALL variable 'i' !ERROR: Cannot redefine FORALL variable 'i'
forall (i=1:8, i=1:9) forall (i=1:8, i=1:9)
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

flang/test/Semantics/getdefinition01.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-definition returning source position of symbol definition. ! Tests -fget-definition returning source position of symbol definition.
module m1 module m1
private :: f private :: f
contains contains
pure subroutine s (x, yyy) bind(c) pure subroutine s (x, yyy) bind(c)
intent(in) :: x intent(in) :: x
intent(inout) :: yyy intent(inout) :: yyy
contains contains
Show All 19 Lines

flang/test/Semantics/getdefinition02.f

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-definition with fixed form. ! Tests -fget-definition with fixed form.
module m2 module m2
private :: f private :: f
contains contains
pure subroutine s (x, yyy) bind(c) pure subroutine s (x, yyy) bind(c)
intent(in) :: intent(in) ::
* x * x
intent(inout) :: yyy intent(inout) :: yyy
Show All 17 Lines

flang/test/Semantics/getdefinition03-a.f90

! Tests -fget-definition with INCLUDE ! Tests -fget-definition with INCLUDE
!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
INCLUDE "Inputs/getdefinition03-b.f90" INCLUDE "Inputs/getdefinition03-b.f90"
program main program main
use m3 use m3
integer :: x integer :: x
x = f x = f
end program end program
! EXEC: ${F18} -fget-definition 8 6 7 -fparse-only %s > %t; ! EXEC: ${F18} -fget-definition 8 6 7 -fparse-only %s > %t;
! EXEC: ${F18} -fget-definition 8 2 3 -fparse-only %s >> %t; ! EXEC: ${F18} -fget-definition 8 2 3 -fparse-only %s >> %t;
! EXEC: cat %t | ${FileCheck} %s; ! EXEC: cat %t | ${FileCheck} %s;
! CHECK:f:.*getdefinition03-b.f90, 2, 12-13 ! CHECK:f:.*getdefinition03-b.f90, 2, 12-13
! CHECK:x:.*getdefinition03-a.f90, 7, 13-14 ! CHECK:x:.*getdefinition03-a.f90, 7, 13-14

flang/test/Semantics/getdefinition04.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-definition with COMMON block with same name as variable. ! Tests -fget-definition with COMMON block with same name as variable.
program main program main
integer :: x integer :: x
integer :: y integer :: y
common /x/ y common /x/ y
x = y x = y
end program end program
! EXEC: ${F18} -fget-definition 7 3 4 -fparse-only %s | ${FileCheck} %s ! EXEC: ${F18} -fget-definition 7 3 4 -fparse-only %s | ${FileCheck} %s
! CHECK:x:.*getdefinition04.f90, 4, 14-15 ! CHECK:x:.*getdefinition04.f90, 4, 14-15

flang/test/Semantics/getdefinition05.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-symbols-sources with BLOCK that contains same variable name as ! Tests -fget-symbols-sources with BLOCK that contains same variable name as
! another in an outer scope. ! another in an outer scope.
program main program main
integer :: x integer :: x
integer :: y integer :: y
block block
integer :: x integer :: x
integer :: y integer :: y
Show All 12 Lines

flang/test/Semantics/getsymbols01.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-symbols-sources finding all symbols in file. ! Tests -fget-symbols-sources finding all symbols in file.
module mm1 module mm1
private :: f private :: f
contains contains
pure subroutine s (x, y) bind(c) pure subroutine s (x, y) bind(c)
intent(in) :: x intent(in) :: x
intent(inout) :: y intent(inout) :: y
contains contains
Show All 17 Lines

flang/test/Semantics/getsymbols02.f90

!RUN: %S/test_any.sh '%S/Inputs/getsymbols02-*' %f18 %t !RUN: %S/test_any.sh '%S/Inputs/getsymbols02-*' %t %f18
No newline at end of file

flang/test/Semantics/getsymbols03-a.f90

! Tests -fget-symbols with INCLUDE ! Tests -fget-symbols with INCLUDE
!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
INCLUDE "Inputs/getsymbols03-b.f90" INCLUDE "Inputs/getsymbols03-b.f90"
program main program main
use mm3 use mm3
integer :: x integer :: x
x = f x = f
end program end program
! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s
! CHECK:mm3:.*getsymbols03-b.f90, 1, 8-11 ! CHECK:mm3:.*getsymbols03-b.f90, 1, 8-11
! CHECK:f:.*getsymbols03-b.f90, 2, 12-13 ! CHECK:f:.*getsymbols03-b.f90, 2, 12-13
! CHECK:main:.*getsymbols03-a.f90, 5, 9-13 ! CHECK:main:.*getsymbols03-a.f90, 5, 9-13
! CHECK:x:.*getsymbols03-a.f90, 7, 13-14 ! CHECK:x:.*getsymbols03-a.f90, 7, 13-14

flang/test/Semantics/getsymbols04.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-symbols-sources with COMMON. ! Tests -fget-symbols-sources with COMMON.
program main program main
integer :: x integer :: x
integer :: y integer :: y
common /x/ y common /x/ y
x = y x = y
end program end program
! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s
! CHECK:x:.*getsymbols04.f90, 4, 14-15 ! CHECK:x:.*getsymbols04.f90, 4, 14-15
! CHECK:y:.*getsymbols04.f90, 5, 14-15 ! CHECK:y:.*getsymbols04.f90, 5, 14-15
! CHECK:x:.*getsymbols04.f90, 6, 11-12 ! CHECK:x:.*getsymbols04.f90, 6, 11-12

flang/test/Semantics/getsymbols05.f90

!RUN: %S/test_any.sh %s %flang %t !RUN: %S/test_any.sh %s %t %f18
! Tests -fget-symbols-sources with COMMON. ! Tests -fget-symbols-sources with COMMON.
program main program main
integer :: x integer :: x
integer :: y integer :: y
block block
integer :: x integer :: x
x = y x = y
end block end block
x = y x = y
end program end program
! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -fget-symbols-sources -fparse-only %s 2>&1 | ${FileCheck} %s
! CHECK:x:.*getsymbols05.f90, 4, 14-15 ! CHECK:x:.*getsymbols05.f90, 4, 14-15
! CHECK:y:.*getsymbols05.f90, 5, 14-15 ! CHECK:y:.*getsymbols05.f90, 5, 14-15
! CHECK:x:.*getsymbols05.f90, 7, 16-17 ! CHECK:x:.*getsymbols05.f90, 7, 16-17

flang/test/Semantics/if_arith01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that a basic arithmetic if compiles. ! Check that a basic arithmetic if compiles.
if ( A ) 100, 200, 300 if ( A ) 100, 200, 300
100 CONTINUE 100 CONTINUE
200 CONTINUE 200 CONTINUE
300 CONTINUE 300 CONTINUE
END END

flang/test/Semantics/if_arith02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that only labels are allowed in arithmetic if statements. ! Check that only labels are allowed in arithmetic if statements.
! TODO: Revisit error message "expected 'ASSIGN'" etc. ! TODO: Revisit error message "expected 'ASSIGN'" etc.
! TODO: Revisit error message "expected one of '0123456789'" ! TODO: Revisit error message "expected one of '0123456789'"
! TODO: BUG: Note that labels 500 and 600 do not exist and ! TODO: BUG: Note that labels 500 and 600 do not exist and
! ought to be flagged as errors. This oversight may be the ! ought to be flagged as errors. This oversight may be the
! result of disabling semantic checking after syntax errors. ! result of disabling semantic checking after syntax errors.
Show All 28 Lines

flang/test/Semantics/if_arith03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!ERROR: Label '600' was not found !ERROR: Label '600' was not found
if ( A ) 100, 200, 600 if ( A ) 100, 200, 600
100 CONTINUE 100 CONTINUE
200 CONTINUE 200 CONTINUE
300 CONTINUE 300 CONTINUE
Show All 13 Lines

flang/test/Semantics/if_arith04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Make sure arithmetic if expressions are non-complex numeric exprs. ! Make sure arithmetic if expressions are non-complex numeric exprs.
INTEGER I INTEGER I
COMPLEX Z COMPLEX Z
LOGICAL L LOGICAL L
INTEGER, DIMENSION (2) :: B INTEGER, DIMENSION (2) :: B
if ( I ) 100, 200, 300 if ( I ) 100, 200, 300
Show All 23 Lines

flang/test/Semantics/if_construct01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Simple check that if constructs are ok. ! Simple check that if constructs are ok.
if (a < b) then if (a < b) then
a = 1 a = 1
end if end if
if (a < b) then if (a < b) then
a = 2 a = 2
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

flang/test/Semantics/if_construct02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that if constructs only accept scalar logical expressions. ! Check that if constructs only accept scalar logical expressions.
! TODO: expand the test to check this restriction for more types. ! TODO: expand the test to check this restriction for more types.
INTEGER :: I INTEGER :: I
LOGICAL, DIMENSION (2) :: B LOGICAL, DIMENSION (2) :: B
!ERROR: Must be a scalar value, but is a rank-1 array !ERROR: Must be a scalar value, but is a rank-1 array
if ( B ) then if ( B ) then
▲ Show 20 Lines • Show All 113 Lines • Show Last 20 Lines

flang/test/Semantics/if_stmt01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Simple check that if statements are ok. ! Simple check that if statements are ok.
IF (A > 0.0) A = LOG (A) IF (A > 0.0) A = LOG (A)
END END

flang/test/Semantics/if_stmt02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!ERROR: IF statement is not allowed in IF statement !ERROR: IF statement is not allowed in IF statement
IF (A > 0.0) IF (B < 0.0) A = LOG (A) IF (A > 0.0) IF (B < 0.0) A = LOG (A)
END END

flang/test/Semantics/if_stmt03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check that non-logical expressions are not allowed. ! Check that non-logical expressions are not allowed.
! Check that non-scalar expressions are not allowed. ! Check that non-scalar expressions are not allowed.
! TODO: Insure all non-logicals are prohibited. ! TODO: Insure all non-logicals are prohibited.
LOGICAL, DIMENSION (2) :: B LOGICAL, DIMENSION (2) :: B
!ERROR: Must have LOGICAL type, but is REAL(4) !ERROR: Must have LOGICAL type, but is REAL(4)
IF (A) A = LOG (A) IF (A) A = LOG (A)
!ERROR: Must be a scalar value, but is a rank-1 array !ERROR: Must be a scalar value, but is a rank-1 array
IF (B) A = LOG (A) IF (B) A = LOG (A)
END END

flang/test/Semantics/implicit01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
implicit none implicit none
!ERROR: More than one IMPLICIT NONE statement !ERROR: More than one IMPLICIT NONE statement
implicit none(type) implicit none(type)
end subroutine end subroutine
subroutine s2 subroutine s2
implicit none(external) implicit none(external)
!ERROR: More than one IMPLICIT NONE statement !ERROR: More than one IMPLICIT NONE statement
implicit none implicit none
end subroutine end subroutine

flang/test/Semantics/implicit02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
implicit none implicit none
!ERROR: IMPLICIT statement after IMPLICIT NONE or IMPLICIT NONE(TYPE) statement !ERROR: IMPLICIT statement after IMPLICIT NONE or IMPLICIT NONE(TYPE) statement
implicit integer(a-z) implicit integer(a-z)
end subroutine end subroutine
subroutine s2 subroutine s2
implicit none(type) implicit none(type)
!ERROR: IMPLICIT statement after IMPLICIT NONE or IMPLICIT NONE(TYPE) statement !ERROR: IMPLICIT statement after IMPLICIT NONE or IMPLICIT NONE(TYPE) statement
implicit integer(a-z) implicit integer(a-z)
end subroutine end subroutine

flang/test/Semantics/implicit03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
implicit integer(a-z) implicit integer(a-z)
!ERROR: IMPLICIT NONE statement after IMPLICIT statement !ERROR: IMPLICIT NONE statement after IMPLICIT statement
implicit none implicit none
end subroutine end subroutine
subroutine s2 subroutine s2
implicit integer(a-z) implicit integer(a-z)
!ERROR: IMPLICIT NONE(TYPE) after IMPLICIT statement !ERROR: IMPLICIT NONE(TYPE) after IMPLICIT statement
implicit none(type) implicit none(type)
end subroutine end subroutine

flang/test/Semantics/implicit04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s subroutine s
parameter(a=1.0) parameter(a=1.0)
!ERROR: IMPLICIT NONE statement after PARAMETER statement !ERROR: IMPLICIT NONE statement after PARAMETER statement
implicit none implicit none
end subroutine end subroutine

flang/test/Semantics/implicit05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s subroutine s
!ERROR: 'a' does not follow 'b' alphabetically !ERROR: 'a' does not follow 'b' alphabetically
implicit integer(b-a) implicit integer(b-a)
end end

flang/test/Semantics/implicit06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
implicit integer(a-c) implicit integer(a-c)
!ERROR: More than one implicit type specified for 'c' !ERROR: More than one implicit type specified for 'c'
implicit real(c-g) implicit real(c-g)
end end
subroutine s2 subroutine s2
implicit integer(a-c) implicit integer(a-c)
implicit real(8)(d) implicit real(8)(d)
!ERROR: More than one implicit type specified for 'a' !ERROR: More than one implicit type specified for 'a'
implicit integer(f), real(a) implicit integer(f), real(a)
end end

flang/test/Semantics/implicit07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
implicit none(external) implicit none(external)
external x external x
call x call x
!ERROR: 'y' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL) !ERROR: 'y' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL)
call y call y
block block
!ERROR: 'z' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL) !ERROR: 'z' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL)
call z call z
end block end block
end end

flang/test/Semantics/implicit08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
block block
!ERROR: IMPLICIT statement is not allowed in a BLOCK construct !ERROR: IMPLICIT statement is not allowed in a BLOCK construct
implicit logical(a) implicit logical(a)
end block end block
end subroutine end subroutine

flang/test/Semantics/init01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Object pointer initializer error tests ! Object pointer initializer error tests
subroutine test(j) subroutine test(j)
integer, intent(in) :: j integer, intent(in) :: j
real, allocatable, target, save :: x1 real, allocatable, target, save :: x1
real, codimension[*], target, save :: x2 real, codimension[*], target, save :: x2
real, save :: x3 real, save :: x3
real, target :: x4 real, target :: x4
Show All 17 Lines

flang/test/Semantics/int-literals.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Fortran syntax considers signed int literals in complex literals ! Fortran syntax considers signed int literals in complex literals
! to be a distinct production, not an application of unary +/- to ! to be a distinct production, not an application of unary +/- to
! an unsigned int literal, so they're used here to test overflow ! an unsigned int literal, so they're used here to test overflow
! on signed int literal constants. The literals are tested here ! on signed int literal constants. The literals are tested here
! as part of expressions that name resolution must analyze. ! as part of expressions that name resolution must analyze.
complex, parameter :: okj1 = 127_1, okz1 = (+127_1, -128_1) complex, parameter :: okj1 = 127_1, okz1 = (+127_1, -128_1)
!ERROR: Integer literal is too large for INTEGER(KIND=1) !ERROR: Integer literal is too large for INTEGER(KIND=1)
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

flang/test/Semantics/io01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
character(len=20) :: access = "direcT" character(len=20) :: access = "direcT"
character(len=20) :: access_(2) = (/"direcT", "streaM"/) character(len=20) :: access_(2) = (/"direcT", "streaM"/)
character(len=20) :: action_(2) = (/"reaD ", "writE"/) character(len=20) :: action_(2) = (/"reaD ", "writE"/)
character(len=20) :: asynchronous_(2) = (/"nO ", "yeS"/) character(len=20) :: asynchronous_(2) = (/"nO ", "yeS"/)
character(len=20) :: blank_(2) = (/"nulL", "zerO"/) character(len=20) :: blank_(2) = (/"nulL", "zerO"/)
character(len=20) :: decimal_(2) = (/'commA', 'poinT'/) character(len=20) :: decimal_(2) = (/'commA', 'poinT'/)
character(len=20) :: delim_(2) = (/"nonE ", "quotE"/) character(len=20) :: delim_(2) = (/"nonE ", "quotE"/)
character(len=20) :: encoding_(2) = (/"defaulT", "utF-8 "/) character(len=20) :: encoding_(2) = (/"defaulT", "utF-8 "/)
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

flang/test/Semantics/io02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
integer :: unit10 = 10 integer :: unit10 = 10
integer :: unit11 = 11 integer :: unit11 = 11
integer(kind=1) :: stat1 integer(kind=1) :: stat1
integer(kind=8) :: stat8 integer(kind=8) :: stat8
character(len=55) :: msg character(len=55) :: msg
Show All 23 Lines

flang/test/Semantics/io03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
character(kind=1,len=50) internal_file character(kind=1,len=50) internal_file
character(kind=2,len=50) internal_file2 character(kind=2,len=50) internal_file2
character(kind=4,len=50) internal_file4 character(kind=4,len=50) internal_file4
character(kind=1,len=111) msg character(kind=1,len=111) msg
character(20) advance character(20) advance
integer*1 stat1 integer*1 stat1
integer*2 stat2, id2 integer*2 stat2, id2
integer*8 stat8 integer*8 stat8
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

flang/test/Semantics/io04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
character(kind=1,len=50) internal_file character(kind=1,len=50) internal_file
character(kind=1,len=100) msg character(kind=1,len=100) msg
character(20) sign character(20) sign
integer*1 stat1, id1 integer*1 stat1, id1
integer*2 stat2 integer*2 stat2
integer*4 stat4 integer*4 stat4
integer*8 stat8 integer*8 stat8
integer :: iunit = 10 integer :: iunit = 10
▲ Show 20 Lines • Show All 116 Lines • Show Last 20 Lines

flang/test/Semantics/io05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
character*20 c(25), cv character*20 c(25), cv
character(kind=1,len=59) msg character(kind=1,len=59) msg
logical*2 v(5), lv logical*2 v(5), lv
integer*1 stat1 integer*1 stat1
integer*2 stat4 integer*2 stat4
integer*8 stat8, iv integer*8 stat8, iv
inquire(10) inquire(10)
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

flang/test/Semantics/io06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
character(kind=1,len=100) msg1 character(kind=1,len=100) msg1
character(kind=2,len=200) msg2 character(kind=2,len=200) msg2
integer(1) stat1 integer(1) stat1
integer(2) stat2 integer(2) stat2
integer(8) stat8 integer(8) stat8
open(10) open(10)
Show All 36 Lines

flang/test/Semantics/io07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
1001 format(A) 1001 format(A)
!ERROR: Format statement must be labeled !ERROR: Format statement must be labeled
format(A) format(A)
2001 format(3I8, 3Z8) 2001 format(3I8, 3Z8)
2002 format(3I8, Z8) 2002 format(3I8, Z8)
2003 format( 3 I 8 , 3 Z 8 ) 2003 format( 3 I 8 , 3 Z 8 )
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

flang/test/Semantics/io08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
write(*,*) write(*,*)
write(*,'()') write(*,'()')
write(*,'(A)') write(*,'(A)')
write(*,'(2X:2X)') write(*,'(2X:2X)')
write(*,'(2X/2X)') write(*,'(2X/2X)')
write(*,'(3/2X)') write(*,'(3/2X)')
write(*,'(3PF5.2)') write(*,'(3PF5.2)')
write(*,'(+3PF5.2)') write(*,'(+3PF5.2)')
▲ Show 20 Lines • Show All 300 Lines • Show Last 20 Lines

flang/test/Semantics/io09.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!ERROR: String edit descriptor in READ format expression !ERROR: String edit descriptor in READ format expression
read(*,'("abc")') read(*,'("abc")')
!ERROR: String edit descriptor in READ format expression !ERROR: String edit descriptor in READ format expression
!ERROR: Unterminated format expression !ERROR: Unterminated format expression
read(*,'("abc)') read(*,'("abc)')
!ERROR: 'H' edit descriptor in READ format expression !ERROR: 'H' edit descriptor in READ format expression
Show All 9 Lines

flang/test/Semantics/io10.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -Mstandard
!OPTIONS: -Mstandard
write(*, '(B0)') write(*, '(B0)')
write(*, '(B3)') write(*, '(B3)')
!WARNING: Expected 'B' edit descriptor 'w' value !WARNING: Expected 'B' edit descriptor 'w' value
write(*, '(B)') write(*, '(B)')
!WARNING: Expected 'EN' edit descriptor 'w' value !WARNING: Expected 'EN' edit descriptor 'w' value
Show All 29 Lines

flang/test/Semantics/kinds01.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /MainProgram1/jk1 ObjectEntity INTEGER(1) !DEF: /MainProgram1/jk1 ObjectEntity INTEGER(1)
integer(kind=1) jk1 integer(kind=1) jk1
!DEF: /MainProgram1/js1 ObjectEntity INTEGER(1) !DEF: /MainProgram1/js1 ObjectEntity INTEGER(1)
integer*1 js1 integer*1 js1
!DEF: /MainProgram1/jk2 ObjectEntity INTEGER(2) !DEF: /MainProgram1/jk2 ObjectEntity INTEGER(2)
integer(kind=2) jk2 integer(kind=2) jk2
!DEF: /MainProgram1/js2 ObjectEntity INTEGER(2) !DEF: /MainProgram1/js2 ObjectEntity INTEGER(2)
integer*2 js2 integer*2 js2
▲ Show 20 Lines • Show All 73 Lines • Show Last 20 Lines

flang/test/Semantics/kinds02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C712 The value of scalar-int-constant-expr shall be nonnegative and ! C712 The value of scalar-int-constant-expr shall be nonnegative and
! shall specify a representation method that exists on the processor. ! shall specify a representation method that exists on the processor.
! C714 The value of kind-param shall be nonnegative. ! C714 The value of kind-param shall be nonnegative.
! C715 The value of kind-param shall specify a representation method that ! C715 The value of kind-param shall specify a representation method that
! exists on the processor. ! exists on the processor.
! C719 The value of scalar-int-constant-expr shall be nonnegative and shall ! C719 The value of scalar-int-constant-expr shall be nonnegative and shall
! specify a representation method that exists on the processor. ! specify a representation method that exists on the processor.
! C725 The optional comma in a length-selector is permitted only if no ! C725 The optional comma in a length-selector is permitted only if no
▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines

flang/test/Semantics/kinds03.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /MainProgram1/ipdt DerivedType !DEF: /MainProgram1/ipdt DerivedType
!DEF: /MainProgram1/ipdt/k TypeParam INTEGER(4) !DEF: /MainProgram1/ipdt/k TypeParam INTEGER(4)
type :: ipdt(k) type :: ipdt(k)
!REF: /MainProgram1/ipdt/k !REF: /MainProgram1/ipdt/k
integer, kind :: k integer, kind :: k
!REF: /MainProgram1/ipdt/k !REF: /MainProgram1/ipdt/k
!DEF: /MainProgram1/ipdt/x ObjectEntity INTEGER(int(k,kind=8)) !DEF: /MainProgram1/ipdt/x ObjectEntity INTEGER(int(k,kind=8))
integer(kind=k) :: x integer(kind=k) :: x
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

flang/test/Semantics/kinds04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C716 If both kind-param and exponent-letter appear, exponent-letter ! C716 If both kind-param and exponent-letter appear, exponent-letter
! shall be E. ! shall be E.
! C717 The value of kind-param shall specify an approximation method that ! C717 The value of kind-param shall specify an approximation method that
! exists on the processor. ! exists on the processor.
subroutine s(var) subroutine s(var)
real :: realvar1 = 4.0E6_4 real :: realvar1 = 4.0E6_4
real :: realvar2 = 4.0D6 real :: realvar2 = 4.0D6
real :: realvar3 = 4.0Q6 real :: realvar3 = 4.0Q6
Show All 19 Lines

flang/test/Semantics/label01.F90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s -o /dev/null 2>&1 | grep -v 'procedure conflicts' | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s -o /dev/null 2>&1 | grep -v 'procedure conflicts' | ${FileCheck} %s
! CHECK-NOT: error:[[:space:]] ! CHECK-NOT: error:[[:space:]]
! FIXME: filter out the array/function syntax issues (procedure conflicts) ! FIXME: filter out the array/function syntax issues (procedure conflicts)
! for now... ! for now...
! these are the conformance tests ! these are the conformance tests
! define STRICT_F18 to eliminate tests of features not in F18 ! define STRICT_F18 to eliminate tests of features not in F18
▲ Show 20 Lines • Show All 219 Lines • Show Last 20 Lines

flang/test/Semantics/label02.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Label '0' is out of range ! CHECK: Label '0' is out of range
! CHECK: Label '100000' is out of range ! CHECK: Label '100000' is out of range
! CHECK: Label '123456' is out of range ! CHECK: Label '123456' is out of range
! CHECK: Label '123456' was not found ! CHECK: Label '123456' was not found
! CHECK: Label '1000' is not distinct ! CHECK: Label '1000' is not distinct
Show All 10 Lines

flang/test/Semantics/label03.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: DO loop doesn't properly nest ! CHECK: DO loop doesn't properly nest
! CHECK: DO loop conflicts ! CHECK: DO loop conflicts
! CHECK: Label '30' cannot be found ! CHECK: Label '30' cannot be found
! CHECK: Label '40' cannot be found ! CHECK: Label '40' cannot be found
! CHECK: Label '50' doesn't lexically follow DO stmt ! CHECK: Label '50' doesn't lexically follow DO stmt
Show All 30 Lines

flang/test/Semantics/label04.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: branch into loop body from outside ! CHECK: branch into loop body from outside
! CHECK: do 10 i = 1, m ! CHECK: do 10 i = 1, m
! CHECK: the loop branched into ! CHECK: the loop branched into
! CHECK: do 20 j = 1, n ! CHECK: do 20 j = 1, n
Show All 12 Lines

flang/test/Semantics/label05.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Label '50' was not found ! CHECK: Label '50' was not found
! CHECK: Label '55' is not in scope ! CHECK: Label '55' is not in scope
! CHECK: Label '70' is not a branch target ! CHECK: Label '70' is not a branch target
! CHECK: Control flow use of '70' ! CHECK: Control flow use of '70'
Show All 30 Lines

flang/test/Semantics/label06.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Label '10' is not in scope ! CHECK: Label '10' is not in scope
! CHECK: Label '20' was not found ! CHECK: Label '20' was not found
! CHECK: Label '30' is not a branch target ! CHECK: Label '30' is not a branch target
! CHECK: Control flow use of '30' ! CHECK: Control flow use of '30'
! CHECK: Label '40' is not in scope ! CHECK: Label '40' is not in scope
Show All 18 Lines

flang/test/Semantics/label07.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Label '30' is not a branch target ! CHECK: Label '30' is not a branch target
! CHECK: Control flow use of '30' ! CHECK: Control flow use of '30'
! CHECK: Label '10' is not in scope ! CHECK: Label '10' is not in scope
! CHECK: Label '20' was not found ! CHECK: Label '20' was not found
! CHECK: Label '60' was not found ! CHECK: Label '60' was not found
Show All 9 Lines

flang/test/Semantics/label08.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! negative test -- invalid labels, out of range ! negative test -- invalid labels, out of range
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: CYCLE construct-name is not in scope ! CHECK: CYCLE construct-name is not in scope
! CHECK: IF construct name unexpected ! CHECK: IF construct name unexpected
! CHECK: unnamed IF statement ! CHECK: unnamed IF statement
! CHECK: DO construct name mismatch ! CHECK: DO construct name mismatch
! CHECK: should be ! CHECK: should be
Show All 13 Lines

flang/test/Semantics/label09.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: Label '60' was not found ! CHECK: Label '60' was not found
subroutine s(a) subroutine s(a)
real a(10) real a(10)
write(*,60) "Hi there" write(*,60) "Hi there"
end subroutine s end subroutine s

flang/test/Semantics/label10.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: '60' not a FORMAT ! CHECK: '60' not a FORMAT
! CHECK: data transfer use of '60' ! CHECK: data transfer use of '60'
subroutine s(a) subroutine s(a)
real a(10) real a(10)
write(*,60) "Hi there" write(*,60) "Hi there"
60 continue 60 continue
70 format (i8) 70 format (i8)
end subroutine s end subroutine s

flang/test/Semantics/label11.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: BLOCK DATA subprogram name mismatch ! CHECK: BLOCK DATA subprogram name mismatch
! CHECK: should be ! CHECK: should be
! CHECK: FUNCTION name mismatch ! CHECK: FUNCTION name mismatch
! CHECK: SUBROUTINE name mismatch ! CHECK: SUBROUTINE name mismatch
! CHECK: PROGRAM name mismatch ! CHECK: PROGRAM name mismatch
! CHECK: SUBMODULE name mismatch ! CHECK: SUBMODULE name mismatch
! CHECK: INTERFACE generic-name .t7. mismatch ! CHECK: INTERFACE generic-name .t7. mismatch
Show All 31 Lines

flang/test/Semantics/label12.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: expected end of statement ! CHECK: expected end of statement
subroutine s subroutine s
do 10 i = 1, 10 do 10 i = 1, 10
5 end do 5 end do
10 end do 10 end do
end subroutine s end subroutine s

flang/test/Semantics/label13.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} -funparse-with-symbols %s 2>&1 | ${FileCheck} %s
! CHECK: branch into loop body from outside ! CHECK: branch into loop body from outside
! CHECK: the loop branched into ! CHECK: the loop branched into
subroutine s(a) subroutine s(a)
integer i integer i
real a(10) real a(10)
do 10 i = 1,10 do 10 i = 1,10
Show All 11 Lines

flang/test/Semantics/label14.f90

! RUN: %S/test_any.sh %s %flang %t ! RUN: %S/test_any.sh %s %t %f18
! Tests implemented for this standard ! Tests implemented for this standard
! 11.1.4 - 4 It is permissible to branch to and end-block-stmt only withinh its ! 11.1.4 - 4 It is permissible to branch to and end-block-stmt only withinh its
! Block Construct ! Block Construct
! EXEC: ${F18} %s 2>&1 | ${FileCheck} %s ! EXEC: ${F18} %s 2>&1 | ${FileCheck} %s
! CHECK: Label '20' is not in scope ! CHECK: Label '20' is not in scope
subroutine s1 subroutine s1
Show All 32 Lines

flang/test/Semantics/misc-declarations.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Miscellaneous constraint and requirement checking on declarations: ! Miscellaneous constraint and requirement checking on declarations:
! - 8.5.6.2 & 8.5.6.3 constraints on coarrays ! - 8.5.6.2 & 8.5.6.3 constraints on coarrays
! - 8.5.19 constraints on the VOLATILE attribute ! - 8.5.19 constraints on the VOLATILE attribute
module m module m
!ERROR: 'mustbedeferred' is an ALLOCATABLE coarray and must have a deferred coshape !ERROR: 'mustbedeferred' is an ALLOCATABLE coarray and must have a deferred coshape
real, allocatable :: mustBeDeferred[*] ! C827 real, allocatable :: mustBeDeferred[*] ! C827
!ERROR: Component 'mustbeexplicit' is a non-ALLOCATABLE coarray and must have an explicit coshape !ERROR: Component 'mustbeexplicit' is a non-ALLOCATABLE coarray and must have an explicit coshape
Show All 32 Lines

flang/test/Semantics/modfile01.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check correct modfile generation for type with private component. ! Check correct modfile generation for type with private component.
module m module m
integer :: i integer :: i
integer, private :: j integer, private :: j
type :: t type :: t
integer :: i integer :: i
integer, private :: j integer, private :: j
end type end type
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

flang/test/Semantics/modfile02.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check modfile generation for private type in public API. ! Check modfile generation for private type in public API.
module m module m
type, private :: t1 type, private :: t1
integer :: i integer :: i
end type end type
type, private :: t2 type, private :: t2
integer :: i integer :: i
Show All 16 Lines

flang/test/Semantics/modfile03.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check modfile generation with use-association. ! Check modfile generation with use-association.
module m1 module m1
integer :: x1 integer :: x1
integer, private :: x2 integer, private :: x2
end end
!Expect: m1.mod !Expect: m1.mod
!module m1 !module m1
▲ Show 20 Lines • Show All 153 Lines • Show Last 20 Lines

flang/test/Semantics/modfile04.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! modfile with subprograms ! modfile with subprograms
module m1 module m1
type :: t type :: t
end type end type
contains contains
pure subroutine s(x, y) bind(c) pure subroutine s(x, y) bind(c)
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/modfile05.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Use-association with VOLATILE or ASYNCHRONOUS ! Use-association with VOLATILE or ASYNCHRONOUS
module m1 module m1
real x real x
integer y integer y
volatile z volatile z
contains contains
end end
Show All 22 Lines

flang/test/Semantics/modfile06.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check modfile generation for external interface ! Check modfile generation for external interface
module m module m
interface interface
integer function f(x) integer function f(x)
end function end function
subroutine s(y, z) subroutine s(y, z)
logical y logical y
complex z complex z
Show All 19 Lines

flang/test/Semantics/modfile07.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check modfile generation for generic interfaces ! Check modfile generation for generic interfaces
module m1 module m1
interface foo interface foo
real function s1(x,y) real function s1(x,y)
real, intent(in) :: x real, intent(in) :: x
logical, intent(in) :: y logical, intent(in) :: y
end function end function
complex function s2(x,y) complex function s2(x,y)
▲ Show 20 Lines • Show All 325 Lines • Show Last 20 Lines

flang/test/Semantics/modfile08.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check modfile generation for external declarations ! Check modfile generation for external declarations
module m module m
real, external :: a real, external :: a
logical b logical b
external c external c
complex c complex c
external b, d external b, d
procedure() :: e procedure() :: e
Show All 32 Lines

flang/test/Semantics/modfile09.f90

!RUN: %S/test_modfile.sh '%S/Inputs/modfile09-*' %f18 %t !RUN: %S/test_modfile.sh '%S/Inputs/modfile09-*' %t %f18

flang/test/Semantics/modfile10.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test writing procedure bindings in a derived type. ! Test writing procedure bindings in a derived type.
module m module m
interface interface
subroutine a(i, j) subroutine a(i, j)
integer :: i, j integer :: i, j
end subroutine end subroutine
end interface end interface
▲ Show 20 Lines • Show All 83 Lines • Show Last 20 Lines

flang/test/Semantics/modfile11.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
type t1(a, b, c) type t1(a, b, c)
integer, kind :: a integer, kind :: a
integer(8), len :: b, c integer(8), len :: b, c
integer :: d integer :: d
end type end type
type, extends(t1) :: t2(e) type, extends(t1) :: t2(e)
integer, len :: e integer, len :: e
Show All 19 Lines

flang/test/Semantics/modfile12.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
integer(8), parameter :: a = 1, b = 2_8 integer(8), parameter :: a = 1, b = 2_8
parameter(n=3,l=-3,e=1.0/3.0) parameter(n=3,l=-3,e=1.0/3.0)
real :: x(a:2*(a+b*n)-1) real :: x(a:2*(a+b*n)-1)
real, dimension(8) :: y real, dimension(8) :: y
type t(c, d) type t(c, d)
integer, kind :: c = 1 integer, kind :: c = 1
integer, len :: d = a + b integer, len :: d = a + b
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Semantics/modfile13.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
character(2) :: z character(2) :: z
character(len=3) :: y character(len=3) :: y
character*4 :: x character*4 :: x
character :: w character :: w
character(len=:), allocatable :: v character(len=:), allocatable :: v
contains contains
subroutine s(n, a, b, c, d) subroutine s(n, a, b, c, d)
Show All 24 Lines

flang/test/Semantics/modfile14.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
type t1 type t1
contains contains
procedure, nopass :: s2 procedure, nopass :: s2
procedure, nopass :: s3 procedure, nopass :: s3
procedure :: r procedure :: r
generic :: foo => s2 generic :: foo => s2
generic :: read(formatted)=> r generic :: read(formatted)=> r
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

flang/test/Semantics/modfile15.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
type :: t type :: t
procedure(a), pointer, pass :: c procedure(a), pointer, pass :: c
procedure(a), pointer, pass(x) :: d procedure(a), pointer, pass(x) :: d
contains contains
procedure, pass(y) :: a, b procedure, pass(y) :: a, b
end type end type
contains contains
Show All 26 Lines

flang/test/Semantics/modfile16.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
character(2), parameter :: prefix = 'c_' character(2), parameter :: prefix = 'c_'
integer, bind(c, name='c_a') :: a integer, bind(c, name='c_a') :: a
procedure(sub), bind(c, name=prefix//'b'), pointer :: b procedure(sub), bind(c, name=prefix//'b'), pointer :: b
type, bind(c) :: t type, bind(c) :: t
real :: c real :: c
end type end type
real :: d real :: d
Show All 28 Lines

flang/test/Semantics/modfile17.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Tests parameterized derived type instantiation with KIND parameters ! Tests parameterized derived type instantiation with KIND parameters
module m module m
type :: capture(k1,k2,k4,k8) type :: capture(k1,k2,k4,k8)
integer(kind=1), kind :: k1 integer(kind=1), kind :: k1
integer(kind=2), kind :: k2 integer(kind=2), kind :: k2
integer(kind=4), kind :: k4 integer(kind=4), kind :: k4
integer(kind=8), kind :: k8 integer(kind=8), kind :: k8
▲ Show 20 Lines • Show All 160 Lines • Show Last 20 Lines

flang/test/Semantics/modfile18.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Tests folding of array constructors ! Tests folding of array constructors
module m module m
real, parameter :: a0 = 1.0_8 real, parameter :: a0 = 1.0_8
real, parameter :: a1(2) = [real::2.0, 3.0] real, parameter :: a1(2) = [real::2.0, 3.0]
real, parameter :: a2(2) = [4.0, 5.0] real, parameter :: a2(2) = [4.0, 5.0]
real, parameter :: a3(0) = [real::] real, parameter :: a3(0) = [real::]
real, parameter :: a4(55) = [real::((1.0*k,k=1,j),j=1,10)] real, parameter :: a4(55) = [real::((1.0*k,k=1,j),j=1,10)]
Show All 18 Lines

flang/test/Semantics/modfile19.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
implicit complex(8)(z) implicit complex(8)(z)
real :: x real :: x
namelist /nl1/ x, y namelist /nl1/ x, y
namelist /nl2/ y, x namelist /nl2/ y, x
namelist /nl1/ i, z namelist /nl1/ i, z
complex(8) :: z complex(8) :: z
real :: y real :: y
Show All 11 Lines

flang/test/Semantics/modfile20.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test modfiles for entities with initialization ! Test modfiles for entities with initialization
module m module m
integer, parameter :: k8 = 8 integer, parameter :: k8 = 8
integer(8), parameter :: k4 = k8/2 integer(8), parameter :: k4 = k8/2
integer, parameter :: k1 = 1 integer, parameter :: k1 = 1
integer(k8), parameter :: i = 2_k8 integer(k8), parameter :: i = 2_k8
real :: r = 2.0_k4 real :: r = 2.0_k4
character(10, kind=k1) :: c = k1_"asdf" character(10, kind=k1) :: c = k1_"asdf"
Show All 30 Lines

flang/test/Semantics/modfile21.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m module m
logical b logical b
bind(C) :: /cb2/ bind(C) :: /cb2/
common //t common //t
common /cb/ x(2:10) /cb2/a,b,c common /cb/ x(2:10) /cb2/a,b,c
common /cb/ y,z common /cb/ y,z
common w common w
common u,v common u,v
Show All 26 Lines

flang/test/Semantics/modfile22.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test character length conversions in constructors ! Test character length conversions in constructors
module m module m
type :: t(k) type :: t(k)
integer, kind :: k = 1 integer, kind :: k = 1
character(kind=k,len=1) :: a character(kind=k,len=1) :: a
character(kind=k,len=3) :: b character(kind=k,len=3) :: b
end type t end type t
Show All 14 Lines

flang/test/Semantics/modfile23.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test that subprogram interfaces get all of the symbols that they need. ! Test that subprogram interfaces get all of the symbols that they need.
module m1 module m1
integer(8) :: i integer(8) :: i
type t1 type t1
sequence sequence
integer :: j integer :: j
end type end type
▲ Show 20 Lines • Show All 195 Lines • Show Last 20 Lines

flang/test/Semantics/modfile24.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test declarations with coarray-spec ! Test declarations with coarray-spec
! Different ways of declaring the same coarray. ! Different ways of declaring the same coarray.
module m1 module m1
real :: a(1:5)[1:10,1:*] real :: a(1:5)[1:10,1:*]
real, dimension(5) :: b[1:10,1:*] real, dimension(5) :: b[1:10,1:*]
real, codimension[1:10,1:*] :: c(5) real, codimension[1:10,1:*] :: c(5)
real, codimension[1:10,1:*], dimension(5) :: d real, codimension[1:10,1:*], dimension(5) :: d
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/modfile25.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test compile-time analysis of shapes. ! Test compile-time analysis of shapes.
module m1 module m1
integer(8), parameter :: a0s(*) = shape(3.14159) integer(8), parameter :: a0s(*) = shape(3.14159)
real :: a1(5,5,5) real :: a1(5,5,5)
integer(8), parameter :: a1s(*) = shape(a1) integer(8), parameter :: a1s(*) = shape(a1)
integer(8), parameter :: a1ss(*) = shape(a1s) integer(8), parameter :: a1ss(*) = shape(a1s)
integer(8), parameter :: a1sss(*) = shape(a1ss) integer(8), parameter :: a1sss(*) = shape(a1ss)
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/modfile26.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Intrinsics SELECTED_INT_KIND, SELECTED_REAL_KIND, PRECISION, RANGE, ! Intrinsics SELECTED_INT_KIND, SELECTED_REAL_KIND, PRECISION, RANGE,
! RADIX, DIGITS ! RADIX, DIGITS
module m1 module m1
! INTEGER(KIND=1) handles 0 <= P < 3 ! INTEGER(KIND=1) handles 0 <= P < 3
! INTEGER(KIND=2) handles 3 <= P < 5 ! INTEGER(KIND=2) handles 3 <= P < 5
! INTEGER(KIND=4) handles 5 <= P < 10 ! INTEGER(KIND=4) handles 5 <= P < 10
! INTEGER(KIND=8) handles 10 <= P < 19 ! INTEGER(KIND=8) handles 10 <= P < 19
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

flang/test/Semantics/modfile27.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test folding of combined array references and structure component ! Test folding of combined array references and structure component
! references. ! references.
module m1 module m1
type :: t1 type :: t1
integer :: ia1(2) integer :: ia1(2)
end type t1 end type t1
type(t1), parameter :: t1x1(*) = [t1::t1(ia1=[1,2]),t1(ia1=[3,4])] type(t1), parameter :: t1x1(*) = [t1::t1(ia1=[1,2]),t1(ia1=[3,4])]
Show All 36 Lines

flang/test/Semantics/modfile28.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test UTF-8 support in character literals ! Test UTF-8 support in character literals
! Note: Module files are encoded in UTF-8. ! Note: Module files are encoded in UTF-8.
module m module m
character(kind=4,len=*), parameter :: c4 = 4_"Hi! 你好!" character(kind=4,len=*), parameter :: c4 = 4_"Hi! 你好!"
! In CHARACTER(1) literals, codepoints > 0xff are serialized into UTF-8; ! In CHARACTER(1) literals, codepoints > 0xff are serialized into UTF-8;
! each of those bytes then gets encoded into UTF-8 for the module file. ! each of those bytes then gets encoded into UTF-8 for the module file.
Show All 15 Lines

flang/test/Semantics/modfile29.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Check that implicitly typed entities get a type in the module file. ! Check that implicitly typed entities get a type in the module file.
module m module m
public :: a public :: a
private :: b private :: b
protected :: i protected :: i
allocatable :: j allocatable :: j
end end
!Expect: m.mod !Expect: m.mod
!module m !module m
! real(4)::a ! real(4)::a
! real(4),private::b ! real(4),private::b
! integer(4),protected::i ! integer(4),protected::i
! integer(4),allocatable::j ! integer(4),allocatable::j
!end !end

flang/test/Semantics/modfile30.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Verify miscellaneous bugs ! Verify miscellaneous bugs
! The function result must be declared after the dummy arguments ! The function result must be declared after the dummy arguments
module m1 module m1
contains contains
function f1(x) result(y) function f1(x) result(y)
integer :: x(:) integer :: x(:)
integer :: y(size(x)) integer :: y(size(x))
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

flang/test/Semantics/modfile31.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test 7.6 enum values ! Test 7.6 enum values
module m1 module m1
integer, parameter :: x(1) = [4] integer, parameter :: x(1) = [4]
enum, bind(C) enum, bind(C)
enumerator :: red, green enumerator :: red, green
enumerator blue enumerator blue
enumerator yellow enumerator yellow
Show All 26 Lines

flang/test/Semantics/modfile32.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Resolution of generic names in expressions. ! Resolution of generic names in expressions.
! Test by using generic function in a specification expression that needs ! Test by using generic function in a specification expression that needs
! to be written to a .mod file. ! to be written to a .mod file.
! Resolve based on number of arguments ! Resolve based on number of arguments
module m1 module m1
interface f interface f
pure integer(8) function f1(x) pure integer(8) function f1(x)
▲ Show 20 Lines • Show All 315 Lines • Show Last 20 Lines

flang/test/Semantics/modfile33.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18 -flogical-abbreviations -fxor-operator
! Resolution of user-defined operators in expressions. ! Resolution of user-defined operators in expressions.
! Test by using generic function in a specification expression that needs ! Test by using generic function in a specification expression that needs
! to be written to a .mod file. ! to be written to a .mod file.
!OPTIONS: -flogical-abbreviations -fxor-operator
! Numeric operators ! Numeric operators
module m1 module m1
type :: t type :: t
sequence sequence
logical :: x logical :: x
end type end type
interface operator(+) interface operator(+)
pure integer(8) function add_ll(x, y) pure integer(8) function add_ll(x, y)
▲ Show 20 Lines • Show All 630 Lines • Show Last 20 Lines

flang/test/Semantics/modfile34.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
! Test resolution of type-bound generics. ! Test resolution of type-bound generics.
module m1 module m1
type :: t type :: t
contains contains
procedure, pass(x) :: add1 => add procedure, pass(x) :: add1 => add
procedure, nopass :: add2 => add procedure, nopass :: add2 => add
procedure :: add_real procedure :: add_real
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines

flang/test/Semantics/modfile35.f90

! RUN: %S/test_modfile.sh %s %f18 %t ! RUN: %S/test_modfile.sh %s %t %f18
module m1 module m1
type :: t1 type :: t1
contains contains
procedure, pass(x) :: p1 => f procedure, pass(x) :: p1 => f
procedure, non_overridable :: p2 => f procedure, non_overridable :: p2 => f
procedure, nopass :: p3 => f procedure, nopass :: p3 => f
generic :: operator(+) => p1 generic :: operator(+) => p1
generic :: operator(-) => p2 generic :: operator(-) => p2
▲ Show 20 Lines • Show All 242 Lines • Show Last 20 Lines

flang/test/Semantics/namelist01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test for checking namelist constraints, C8103-C8105 ! Test for checking namelist constraints, C8103-C8105
module dup module dup
integer dupName integer dupName
integer uniqueName integer uniqueName
end module dup end module dup
subroutine C8103a(x) subroutine C8103a(x)
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

flang/test/Semantics/null01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! NULL() intrinsic function error tests ! NULL() intrinsic function error tests
subroutine test subroutine test
interface interface
subroutine s0 subroutine s0
end subroutine end subroutine
subroutine s1(j) subroutine s1(j)
integer, intent(in) :: j integer, intent(in) :: j
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

flang/test/Semantics/nullify01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test that NULLIFY works ! Test that NULLIFY works
Module share Module share
Real, Pointer :: rp Real, Pointer :: rp
Procedure(Real), Pointer :: mprp Procedure(Real), Pointer :: mprp
End Module share End Module share
Program nullifytest Program nullifytest
Show All 33 Lines

flang/test/Semantics/nullify02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Check for semantic errors in NULLIFY statements ! Check for semantic errors in NULLIFY statements
INTEGER, PARAMETER :: maxvalue=1024 INTEGER, PARAMETER :: maxvalue=1024
Type dt Type dt
Integer :: l = 3 Integer :: l = 3
End Type End Type
Type t Type t
Show All 22 Lines

flang/test/Semantics/omp-atomic.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check OpenMP 2.13.6 atomic Construct ! Check OpenMP 2.13.6 atomic Construct
a = 1.0 a = 1.0
!$omp parallel num_threads(4) !$omp parallel num_threads(4)
!$omp atomic seq_cst, read !$omp atomic seq_cst, read
b = a b = a
Show All 13 Lines

flang/test/Semantics/omp-clause-validity01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check OpenMP clause validity for the following directives: ! Check OpenMP clause validity for the following directives:
! !
! 2.5 PARALLEL construct ! 2.5 PARALLEL construct
! 2.7.1 Loop construct ! 2.7.1 Loop construct
! ... ! ...
! TODO: all the internal errors ! TODO: all the internal errors
▲ Show 20 Lines • Show All 460 Lines • Show Last 20 Lines

flang/test/Semantics/omp-combined-constructs.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
program main program main
implicit none implicit none
integer :: N integer :: N
integer :: i integer :: i
real(8) :: a(256), b(256) real(8) :: a(256), b(256)
N = 256 N = 256
▲ Show 20 Lines • Show All 499 Lines • Show Last 20 Lines

flang/test/Semantics/omp-declarative-directive.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check OpenMP declarative directives ! Check OpenMP declarative directives
!TODO: all internal errors !TODO: all internal errors
! enable declare-reduction example after name resolution ! enable declare-reduction example after name resolution
! 2.8.2 declare-simd ! 2.8.2 declare-simd
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

flang/test/Semantics/omp-device-constructs.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check OpenMP clause validity for the following directives: ! Check OpenMP clause validity for the following directives:
! 2.10 Device constructs ! 2.10 Device constructs
program main program main
real(8) :: arrayA(256), arrayB(256) real(8) :: arrayA(256), arrayB(256)
integer :: N integer :: N
arrayA = 1.414 arrayA = 1.414
▲ Show 20 Lines • Show All 175 Lines • Show Last 20 Lines

flang/test/Semantics/omp-loop-association.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check the association between OpenMPLoopConstruct and DoConstruct ! Check the association between OpenMPLoopConstruct and DoConstruct
integer :: b = 128 integer :: b = 128
integer :: c = 32 integer :: c = 32
integer, parameter :: num = 16 integer, parameter :: num = 16
N = 1024 N = 1024
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

flang/test/Semantics/omp-nested01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
! OPTIONS: -fopenmp
! Check OpenMP 2.17 Nesting of Regions ! Check OpenMP 2.17 Nesting of Regions
N = 1024 N = 1024
!$omp do !$omp do
do i = 1, N do i = 1, N
!ERROR: A worksharing region may not be closely nested inside a worksharing, explicit task, taskloop, critical, ordered, atomic, or master region !ERROR: A worksharing region may not be closely nested inside a worksharing, explicit task, taskloop, critical, ordered, atomic, or master region
!$omp do !$omp do
do j = 1, N do j = 1, N
a = 3.14 a = 3.14
enddo enddo
enddo enddo
end end

flang/test/Semantics/omp-resolve01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.4 An array section designates a subset of the elements in an array. Although ! 2.4 An array section designates a subset of the elements in an array. Although
! Substring shares similar syntax but cannot be treated as valid array section. ! Substring shares similar syntax but cannot be treated as valid array section.
character*8 c, b character*8 c, b
character a character a
b = "HIFROMPGI" b = "HIFROMPGI"
c = b(2:7) c = b(2:7)
!ERROR: Substrings are not allowed on OpenMP directives or clauses !ERROR: Substrings are not allowed on OpenMP directives or clauses
!$omp parallel private(c(1:3)) !$omp parallel private(c(1:3))
a = c(1:1) a = c(1:1)
!$omp end parallel !$omp end parallel
end end

flang/test/Semantics/omp-resolve02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! Test the effect to name resolution from illegal clause ! Test the effect to name resolution from illegal clause
!a = 1.0 !a = 1.0
b = 2 b = 2
!$omp parallel private(a) shared(b) !$omp parallel private(a) shared(b)
a = 3. a = 3.
b = 4 b = 4
Show All 9 Lines

flang/test/Semantics/omp-resolve03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.3 Although variables in common blocks can be accessed by use association ! 2.15.3 Although variables in common blocks can be accessed by use association
! or host association, common block names cannot. As a result, a common block ! or host association, common block names cannot. As a result, a common block
! name specified in a data-sharing attribute clause must be declared to be a ! name specified in a data-sharing attribute clause must be declared to be a
! common block in the same scoping unit in which the data-sharing attribute ! common block in the same scoping unit in which the data-sharing attribute
! clause appears. ! clause appears.
common /c/ a, b common /c/ a, b
Show All 13 Lines

flang/test/Semantics/omp-resolve04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.3 Data-Sharing Attribute Clauses ! 2.15.3 Data-Sharing Attribute Clauses
! A list item that specifies a given variable may not appear in more than ! A list item that specifies a given variable may not appear in more than
! one clause on the same directive, except that a variable may be specified ! one clause on the same directive, except that a variable may be specified
! in both firstprivate and lastprivate clauses. ! in both firstprivate and lastprivate clauses.
common /c/ a, b common /c/ a, b
integer a(3), b integer a(3), b
Show All 10 Lines

flang/test/Semantics/omp-resolve05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.3 Data-Sharing Attribute Clauses ! 2.15.3 Data-Sharing Attribute Clauses
! 2.15.3.1 default Clause ! 2.15.3.1 default Clause
subroutine default_none() subroutine default_none()
integer a(3) integer a(3)
A = 1 A = 1
Show All 14 Lines

flang/test/Semantics/omp-symbol01.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! Test clauses that accept list. ! Test clauses that accept list.
! 2.1 Directive Format ! 2.1 Directive Format
! A list consists of a comma-separated collection of one or more list items. ! A list consists of a comma-separated collection of one or more list items.
! A list item is a variable, array section or common block name (enclosed in ! A list item is a variable, array section or common block name (enclosed in
! slashes). ! slashes).
!DEF: /md Module !DEF: /md Module
▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines

flang/test/Semantics/omp-symbol02.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 1.4.1 Structure of the OpenMP Memory Model ! 1.4.1 Structure of the OpenMP Memory Model
! Test implicit declaration in the OpenMP directive enclosing scope ! Test implicit declaration in the OpenMP directive enclosing scope
! through clause; also test to avoid creating multiple symbols for ! through clause; also test to avoid creating multiple symbols for
! the same variable ! the same variable
!DEF: /MainProgram1/b (Implicit) ObjectEntity REAL(4) !DEF: /MainProgram1/b (Implicit) ObjectEntity REAL(4)
Show All 16 Lines

flang/test/Semantics/omp-symbol03.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 1.4.1 Structure of the OpenMP Memory Model ! 1.4.1 Structure of the OpenMP Memory Model
! In the inner OpenMP region, SHARED `a` refers to the `a` in the outer OpenMP ! In the inner OpenMP region, SHARED `a` refers to the `a` in the outer OpenMP
! region; PRIVATE `b` refers to the new `b` in the same OpenMP region ! region; PRIVATE `b` refers to the new `b` in the same OpenMP region
!DEF: /MainProgram1/b (Implicit) ObjectEntity REAL(4) !DEF: /MainProgram1/b (Implicit) ObjectEntity REAL(4)
b = 2 b = 2
!$omp parallel private(a) shared(b) !$omp parallel private(a) shared(b)
Show All 15 Lines

flang/test/Semantics/omp-symbol04.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.3 Data-Sharing Attribute Clauses ! 2.15.3 Data-Sharing Attribute Clauses
! Both PARALLEL and DO (worksharing) directives need to create new scope, ! Both PARALLEL and DO (worksharing) directives need to create new scope,
! so PRIVATE `a` will have new symbol in each region ! so PRIVATE `a` will have new symbol in each region
!DEF: /MainProgram1/a ObjectEntity REAL(8) !DEF: /MainProgram1/a ObjectEntity REAL(8)
real*8 a real*8 a
!REF: /MainProgram1/a !REF: /MainProgram1/a
Show All 14 Lines

flang/test/Semantics/omp-symbol05.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.2 threadprivate Directive ! 2.15.2 threadprivate Directive
! The threadprivate directive specifies that variables are replicated, ! The threadprivate directive specifies that variables are replicated,
! with each thread having its own copy. When threadprivate variables are ! with each thread having its own copy. When threadprivate variables are
! referenced in the OpenMP region, we know they are already private to ! referenced in the OpenMP region, we know they are already private to
! their threads, so no new symbol needs to be created. ! their threads, so no new symbol needs to be created.
!DEF: /mm Module !DEF: /mm Module
Show All 31 Lines

flang/test/Semantics/omp-symbol06.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.3 Data-Sharing Attribute Clauses ! 2.15.3 Data-Sharing Attribute Clauses
! A list item that specifies a given variable may not appear in more than ! A list item that specifies a given variable may not appear in more than
! one clause on the same directive, except that a variable may be specified ! one clause on the same directive, except that a variable may be specified
! in both firstprivate and lastprivate clauses. ! in both firstprivate and lastprivate clauses.
!DEF: /MainProgram1/a (Implicit) ObjectEntity REAL(4) !DEF: /MainProgram1/a (Implicit) ObjectEntity REAL(4)
a = 1. a = 1.
!$omp parallel do firstprivate(a) lastprivate(a) !$omp parallel do firstprivate(a) lastprivate(a)
!DEF: /MainProgram1/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4) !DEF: /MainProgram1/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4)
do i=1,10 do i=1,10
!DEF: /MainProgram1/Block1/a (OmpFirstPrivate, OmpLastPrivate) HostAssoc REAL(4) !DEF: /MainProgram1/Block1/a (OmpFirstPrivate, OmpLastPrivate) HostAssoc REAL(4)
a = 2. a = 2.
end do end do
end program end program

flang/test/Semantics/omp-symbol07.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! Generic tests ! Generic tests
! 1. subroutine or function calls should not be fixed for DSA or DMA ! 1. subroutine or function calls should not be fixed for DSA or DMA
!DEF: /foo (Function) Subprogram REAL(4) !DEF: /foo (Function) Subprogram REAL(4)
!DEF: /foo/rnum ObjectEntity REAL(4) !DEF: /foo/rnum ObjectEntity REAL(4)
function foo(rnum) function foo(rnum)
!REF: /foo/rnum !REF: /foo/rnum
Show All 28 Lines

flang/test/Semantics/omp-symbol08.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp
!OPTIONS: -fopenmp
! 2.15.1.1 Predetermined rules for associated do-loops index variable ! 2.15.1.1 Predetermined rules for associated do-loops index variable
! a) The loop iteration variable(s) in the associated do-loop(s) of a do, ! a) The loop iteration variable(s) in the associated do-loop(s) of a do,
! parallel do, taskloop, or distribute construct is (are) private. ! parallel do, taskloop, or distribute construct is (are) private.
! b) The loop iteration variable in the associated do-loop of a simd construct ! b) The loop iteration variable in the associated do-loop of a simd construct
! with just one associated do-loop is linear with a linear-step that is the ! with just one associated do-loop is linear with a linear-step that is the
! increment of the associated do-loop. ! increment of the associated do-loop.
! c) The loop iteration variables in the associated do-loops of a simd ! c) The loop iteration variables in the associated do-loops of a simd
▲ Show 20 Lines • Show All 242 Lines • Show Last 20 Lines

flang/test/Semantics/procinterface01.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Tests for "proc-interface" semantics. ! Tests for "proc-interface" semantics.
! These cases are all valid. ! These cases are all valid.
!DEF: /module1 Module !DEF: /module1 Module
module module1 module module1
abstract interface abstract interface
!DEF: /module1/abstract1 PUBLIC (Function) Subprogram REAL(4) !DEF: /module1/abstract1 PUBLIC (Function) Subprogram REAL(4)
!DEF: /module1/abstract1/x INTENT(IN) ObjectEntity REAL(4) !DEF: /module1/abstract1/x INTENT(IN) ObjectEntity REAL(4)
▲ Show 20 Lines • Show All 175 Lines • Show Last 20 Lines

flang/test/Semantics/resolve01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
integer :: x integer :: x
!ERROR: The type of 'x' has already been declared !ERROR: The type of 'x' has already been declared
real :: x real :: x
integer(8) :: i integer(8) :: i
parameter(i=1,j=2,k=3) parameter(i=1,j=2,k=3)
integer :: j integer :: j
!ERROR: The type of 'k' has already been implicitly declared !ERROR: The type of 'k' has already been implicitly declared
real :: k real :: k
end end

flang/test/Semantics/resolve02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s subroutine s
!ERROR: Declaration of 'x' conflicts with its use as internal procedure !ERROR: Declaration of 'x' conflicts with its use as internal procedure
real :: x real :: x
contains contains
subroutine x subroutine x
end end
end end
module m module m
!ERROR: Declaration of 'x' conflicts with its use as module procedure !ERROR: Declaration of 'x' conflicts with its use as module procedure
real :: x real :: x
contains contains
subroutine x subroutine x
end end
end end

flang/test/Semantics/resolve03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
implicit none implicit none
integer :: x integer :: x
!ERROR: No explicit type declared for 'y' !ERROR: No explicit type declared for 'y'
y = x y = x
end end

flang/test/Semantics/resolve04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!ERROR: No explicit type declared for 'f' !ERROR: No explicit type declared for 'f'
function f() function f()
implicit none implicit none
end end
!ERROR: No explicit type declared for 'y' !ERROR: No explicit type declared for 'y'
subroutine s(x, y) subroutine s(x, y)
implicit none implicit none
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

flang/test/Semantics/resolve05.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
program p program p
integer :: p ! this is ok integer :: p ! this is ok
end end
module m module m
integer :: m ! this is ok integer :: m ! this is ok
end end
submodule(m) sm submodule(m) sm
integer :: sm ! this is ok integer :: sm ! this is ok
Show All 22 Lines

flang/test/Semantics/resolve06.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
implicit none implicit none
allocatable :: x allocatable :: x
integer :: x integer :: x
!ERROR: No explicit type declared for 'y' !ERROR: No explicit type declared for 'y'
allocatable :: y allocatable :: y
end end

flang/test/Semantics/resolve07.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
integer :: x(2) integer :: x(2)
!ERROR: The dimensions of 'x' have already been declared !ERROR: The dimensions of 'x' have already been declared
allocatable :: x(:) allocatable :: x(:)
real :: y[1:*] real :: y[1:*]
!ERROR: The codimensions of 'y' have already been declared !ERROR: The codimensions of 'y' have already been declared
allocatable :: y[:] allocatable :: y[:]
end end
Show All 22 Lines

flang/test/Semantics/resolve08.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
integer :: g(10) integer :: g(10)
f(i) = i + 1 ! statement function f(i) = i + 1 ! statement function
g(i) = i + 2 ! mis-parsed array assignment g(i) = i + 2 ! mis-parsed array assignment
!ERROR: 'h' has not been declared as an array !ERROR: 'h' has not been declared as an array
h(i) = i + 3 h(i) = i + 3
end end

flang/test/Semantics/resolve09.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
integer :: y integer :: y
procedure() :: a procedure() :: a
procedure(real) :: b procedure(real) :: b
call a ! OK - can be function or subroutine call a ! OK - can be function or subroutine
!ERROR: Cannot call subroutine 'a' like a function !ERROR: Cannot call subroutine 'a' like a function
c = a() c = a()
!ERROR: Cannot call function 'b' like a subroutine !ERROR: Cannot call function 'b' like a subroutine
call b call b
▲ Show 20 Lines • Show All 105 Lines • Show Last 20 Lines

flang/test/Semantics/resolve10.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
public public
type t type t
integer, private :: i integer, private :: i
end type end type
!ERROR: The default accessibility of this module has already been declared !ERROR: The default accessibility of this module has already been declared
private !C869 private !C869
end end
Show All 34 Lines

flang/test/Semantics/resolve11.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
public i public i
integer, private :: j integer, private :: j
!ERROR: The accessibility of 'i' has already been specified as PUBLIC !ERROR: The accessibility of 'i' has already been specified as PUBLIC
private i private i
!The accessibility of 'j' has already been specified as PRIVATE !The accessibility of 'j' has already been specified as PRIVATE
private j private j
end end
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

flang/test/Semantics/resolve12.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
end end
subroutine sub subroutine sub
end end
use m1 use m1
!ERROR: Error reading module file for module 'm2' !ERROR: Error reading module file for module 'm2'
use m2 use m2
!ERROR: 'sub' is not a module !ERROR: 'sub' is not a module
use sub use sub
end end

flang/test/Semantics/resolve13.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
integer :: x integer :: x
integer, private :: y integer, private :: y
interface operator(.foo.) interface operator(.foo.)
module procedure ifoo module procedure ifoo
end interface end interface
interface operator(-) interface operator(-)
module procedure ifoo module procedure ifoo
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

flang/test/Semantics/resolve14.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
integer :: x integer :: x
integer :: y integer :: y
integer :: z integer :: z
end end
module m2 module m2
real :: y real :: y
real :: z real :: z
Show All 13 Lines

flang/test/Semantics/resolve15.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
real :: var real :: var
interface i interface i
!ERROR: 'var' is not a subprogram !ERROR: 'var' is not a subprogram
procedure :: sub, var procedure :: sub, var
!ERROR: Procedure 'bad' not found !ERROR: Procedure 'bad' not found
procedure :: bad procedure :: bad
end interface end interface
Show All 26 Lines

flang/test/Semantics/resolve16.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
interface interface
subroutine sub0 subroutine sub0
end end
!ERROR: A PROCEDURE statement is only allowed in a generic interface block !ERROR: A PROCEDURE statement is only allowed in a generic interface block
procedure :: sub1, sub2 procedure :: sub1, sub2
end interface end interface
contains contains
subroutine sub1 subroutine sub1
end end
subroutine sub2 subroutine sub2
end end
end end

flang/test/Semantics/resolve17.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
integer :: foo integer :: foo
!Note: PGI, Intel, and GNU allow this; NAG and Sun do not !Note: PGI, Intel, and GNU allow this; NAG and Sun do not
!ERROR: 'foo' is already declared in this scoping unit !ERROR: 'foo' is already declared in this scoping unit
interface foo interface foo
end interface end interface
end module end module
▲ Show 20 Lines • Show All 198 Lines • Show Last 20 Lines

flang/test/Semantics/resolve18.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
implicit none implicit none
contains contains
subroutine foo(x) subroutine foo(x)
real :: x real :: x
end subroutine end subroutine
end module end module
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

flang/test/Semantics/resolve19.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
interface a interface a
subroutine s(x) subroutine s(x)
real :: x real :: x
end subroutine end subroutine
!ERROR: 's' is already declared in this scoping unit !ERROR: 's' is already declared in this scoping unit
subroutine s(x) subroutine s(x)
integer :: x integer :: x
Show All 15 Lines

flang/test/Semantics/resolve20.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
abstract interface abstract interface
subroutine foo subroutine foo
end subroutine end subroutine
end interface end interface
procedure() :: a procedure() :: a
procedure(integer) :: b procedure(integer) :: b
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

flang/test/Semantics/resolve21.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
type :: t type :: t
integer :: i integer :: i
integer :: s1 integer :: s1
integer :: t integer :: t
end type end type
!ERROR: 't' is already declared in this scoping unit !ERROR: 't' is already declared in this scoping unit
integer :: t integer :: t
Show All 35 Lines

flang/test/Semantics/resolve22.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
!OK: interface followed by type with same name !OK: interface followed by type with same name
interface t interface t
end interface end interface
type t type t
end type end type
type(t) :: x type(t) :: x
x = t() x = t()
Show All 23 Lines

flang/test/Semantics/resolve23.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
type :: t type :: t
real :: y real :: y
end type end type
end module end module
use m use m
implicit type(t)(x) implicit type(t)(x)
z = x%y !OK: x is type(t) z = x%y !OK: x is type(t)
!ERROR: 'w' is not an object of derived type; it is implicitly typed !ERROR: 'w' is not an object of derived type; it is implicitly typed
z = w%y z = w%y
end end

flang/test/Semantics/resolve24.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine test1 subroutine test1
!ERROR: Generic interface 'foo' has both a function and a subroutine !ERROR: Generic interface 'foo' has both a function and a subroutine
interface foo interface foo
subroutine s1(x) subroutine s1(x)
end subroutine end subroutine
subroutine s2(x, y) subroutine s2(x, y)
end subroutine end subroutine
function f() function f()
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

flang/test/Semantics/resolve25.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
interface foo interface foo
subroutine s1(x) subroutine s1(x)
real x real x
end end
!ERROR: 's2' is not a module procedure !ERROR: 's2' is not a module procedure
module procedure s2 module procedure s2
!ERROR: Procedure 's3' not found !ERROR: Procedure 's3' not found
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

flang/test/Semantics/resolve26.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
interface interface
module subroutine s() module subroutine s()
end subroutine end subroutine
end interface end interface
end end
module m2 module m2
Show All 16 Lines

flang/test/Semantics/resolve27.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
interface interface
module subroutine s() module subroutine s()
end subroutine end subroutine
end interface end interface
end end
submodule(m) s1 submodule(m) s1
Show All 13 Lines

flang/test/Semantics/resolve28.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s subroutine s
type t type t
end type end type
interface interface
subroutine s1 subroutine s1
import, none import, none
!ERROR: IMPORT,NONE must be the only IMPORT statement in a scope !ERROR: IMPORT,NONE must be the only IMPORT statement in a scope
import, all import, all
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

flang/test/Semantics/resolve29.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
type t1 type t1
end type end type
type t3 type t3
end type end type
interface interface
subroutine s1(x) subroutine s1(x)
!ERROR: 't1' from host is not accessible !ERROR: 't1' from host is not accessible
Show All 35 Lines

flang/test/Semantics/resolve30.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
integer x integer x
block block
import, none import, none
!ERROR: 'x' from host scoping unit is not accessible due to IMPORT !ERROR: 'x' from host scoping unit is not accessible due to IMPORT
x = 1 x = 1
end block end block
end end
Show All 32 Lines

flang/test/Semantics/resolve31.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C735 If EXTENDS appears, SEQUENCE shall not appear. ! C735 If EXTENDS appears, SEQUENCE shall not appear.
! C738 The same private-or-sequence shall not appear more than once in a ! C738 The same private-or-sequence shall not appear more than once in a
! given derived-type-def . ! given derived-type-def .
! !
! C740 If SEQUENCE appears, ! C740 If SEQUENCE appears,
! the type shall have at least one component, ! the type shall have at least one component,
! each data component shall be declared to be of an intrinsic type or of a sequence type, ! each data component shall be declared to be of an intrinsic type or of a sequence type,
! the derived type shall not have any type parameter, ! the derived type shall not have any type parameter,
▲ Show 20 Lines • Show All 96 Lines • Show Last 20 Lines

flang/test/Semantics/resolve32.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m2 module m2
public s2, s4 public s2, s4
private s3 private s3
contains contains
subroutine s2 subroutine s2
end end
subroutine s3 subroutine s3
end end
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/resolve33.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Derived type parameters ! Derived type parameters
! C731 The same type-param-name shall not appear more than once in a given ! C731 The same type-param-name shall not appear more than once in a given
! derived-type-stmt. ! derived-type-stmt.
! C741 A type-param-name in a type-param-def-stmt in a derived-type-def shall ! C741 A type-param-name in a type-param-def-stmt in a derived-type-def shall
! be one of the type-paramnames in the derived-type-stmt of that ! be one of the type-paramnames in the derived-type-stmt of that
! derived-type-def. ! derived-type-def.
! C742 Each type-param-name in the derived-type-stmt in a derived-type-def ! C742 Each type-param-name in the derived-type-stmt in a derived-type-def
! shall appear exactly once as a type-param-name in a type-param-def-stmt ! shall appear exactly once as a type-param-name in a type-param-def-stmt
Show All 37 Lines

flang/test/Semantics/resolve34.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Extended derived types ! Extended derived types
module m1 module m1
type :: t1 type :: t1
integer :: x integer :: x
!ERROR: Component 'x' is already declared in this derived type !ERROR: Component 'x' is already declared in this derived type
real :: x real :: x
end type end type
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

flang/test/Semantics/resolve35.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Construct names ! Construct names
subroutine s1 subroutine s1
real :: foo real :: foo
!ERROR: 'foo' is already declared in this scoping unit !ERROR: 'foo' is already declared in this scoping unit
foo: block foo: block
end block foo end block foo
end end
▲ Show 20 Lines • Show All 125 Lines • Show Last 20 Lines

flang/test/Semantics/resolve36.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1568 The procedure-name shall have been declared to be a separate module ! C1568 The procedure-name shall have been declared to be a separate module
! procedure in the containing program unit or an ancestor of that program unit. ! procedure in the containing program unit or an ancestor of that program unit.
module m1 module m1
interface interface
module subroutine sub1(arg1) module subroutine sub1(arg1)
integer, intent(inout) :: arg1 integer, intent(inout) :: arg1
end subroutine end subroutine
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

flang/test/Semantics/resolve37.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C701 The type-param-value for a kind type parameter shall be a constant ! C701 The type-param-value for a kind type parameter shall be a constant
! expression. This constraint looks like a mistake in the standard. ! expression. This constraint looks like a mistake in the standard.
integer, parameter :: k = 8 integer, parameter :: k = 8
real, parameter :: l = 8.0 real, parameter :: l = 8.0
integer :: n = 2 integer :: n = 2
!ERROR: Must be a constant value !ERROR: Must be a constant value
parameter(m=n) parameter(m=n)
integer(k) :: x integer(k) :: x
Show All 28 Lines

flang/test/Semantics/resolve38.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C772 ! C772
module m1 module m1
type t1 type t1
contains contains
procedure, nopass :: s1 procedure, nopass :: s1
!ERROR: Binding name 's2' not found in this derived type !ERROR: Binding name 's2' not found in this derived type
generic :: g1 => s2 generic :: g1 => s2
end type end type
▲ Show 20 Lines • Show All 119 Lines • Show Last 20 Lines

flang/test/Semantics/resolve39.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
implicit none implicit none
real(8) :: x = 2.0 real(8) :: x = 2.0
!ERROR: The associate name 'a' is already used in this associate statement !ERROR: The associate name 'a' is already used in this associate statement
associate(a => x, b => x+1, a => x+2) associate(a => x, b => x+1, a => x+2)
x = b x = b
end associate end associate
!ERROR: No explicit type declared for 'b' !ERROR: No explicit type declared for 'b'
Show All 23 Lines

flang/test/Semantics/resolve40.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
namelist /nl/x namelist /nl/x
block block
!ERROR: NAMELIST statement is not allowed in a BLOCK construct !ERROR: NAMELIST statement is not allowed in a BLOCK construct
namelist /nl/y namelist /nl/y
end block end block
end end
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

flang/test/Semantics/resolve41.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
implicit none implicit none
real, parameter :: a = 8.0 real, parameter :: a = 8.0
!ERROR: Must have INTEGER type, but is REAL(4) !ERROR: Must have INTEGER type, but is REAL(4)
integer :: aa = 2_a integer :: aa = 2_a
integer :: b = 8 integer :: b = 8
! C713 A scalar-int-constant-name shall be a named constant of type integer. ! C713 A scalar-int-constant-name shall be a named constant of type integer.
!ERROR: Must be a constant value !ERROR: Must be a constant value
Show All 19 Lines

flang/test/Semantics/resolve42.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1 subroutine s1
!ERROR: Array 'z' without ALLOCATABLE or POINTER attribute must have explicit shape !ERROR: Array 'z' without ALLOCATABLE or POINTER attribute must have explicit shape
common x, y(4), z(:) common x, y(4), z(:)
end end
subroutine s2 subroutine s2
common /c1/ x, y, z common /c1/ x, y, z
!ERROR: 'y' is already in a COMMON block !ERROR: 'y' is already in a COMMON block
▲ Show 20 Lines • Show All 105 Lines • Show Last 20 Lines

flang/test/Semantics/resolve43.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for structure constructors. ! Error tests for structure constructors.
! Errors caught by expression resolution are tested elsewhere; these are the ! Errors caught by expression resolution are tested elsewhere; these are the
! errors meant to be caught by name resolution, as well as acceptable use ! errors meant to be caught by name resolution, as well as acceptable use
! cases. ! cases.
! Type parameters are used to make the parses unambiguous. ! Type parameters are used to make the parses unambiguous.
module module1 module module1
type :: type1(j) type :: type1(j)
Show All 37 Lines

flang/test/Semantics/resolve44.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for recursive use of derived types. ! Error tests for recursive use of derived types.
! C744 If neither the POINTER nor the ALLOCATABLE attribute is specified, the ! C744 If neither the POINTER nor the ALLOCATABLE attribute is specified, the
! declaration-type-spec in the component-def-stmt shall specify an intrinsic ! declaration-type-spec in the component-def-stmt shall specify an intrinsic
! type or a previously defined derived type. ! type or a previously defined derived type.
program main program main
type :: recursive1 type :: recursive1
!ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE !ERROR: Recursive use of the derived type requires POINTER or ALLOCATABLE
Show All 39 Lines

flang/test/Semantics/resolve45.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
function f1(x, y) function f1(x, y)
integer x integer x
!ERROR: SAVE attribute may not be applied to dummy argument 'x' !ERROR: SAVE attribute may not be applied to dummy argument 'x'
!ERROR: SAVE attribute may not be applied to dummy argument 'y' !ERROR: SAVE attribute may not be applied to dummy argument 'y'
save x,y save x,y
integer y integer y
!ERROR: SAVE attribute may not be applied to function result 'f1' !ERROR: SAVE attribute may not be applied to function result 'f1'
save f1 save f1
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

flang/test/Semantics/resolve46.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C1030 - pointers to intrinsic procedures ! C1030 - pointers to intrinsic procedures
program main program main
intrinsic :: cos ! a specific & generic intrinsic name intrinsic :: cos ! a specific & generic intrinsic name
intrinsic :: alog10 ! a specific intrinsic name, not generic intrinsic :: alog10 ! a specific intrinsic name, not generic
intrinsic :: null ! a weird special case intrinsic :: null ! a weird special case
intrinsic :: bessel_j0 ! generic intrinsic, not specific intrinsic :: bessel_j0 ! generic intrinsic, not specific
intrinsic :: amin0 intrinsic :: amin0
!ERROR: 'haltandcatchfire' is not a known intrinsic procedure !ERROR: 'haltandcatchfire' is not a known intrinsic procedure
Show All 13 Lines

flang/test/Semantics/resolve47.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m1 module m1
!ERROR: Logical constant '.true.' may not be used as a defined operator !ERROR: Logical constant '.true.' may not be used as a defined operator
interface operator(.TRUE.) interface operator(.TRUE.)
end interface end interface
!ERROR: Logical constant '.false.' may not be used as a defined operator !ERROR: Logical constant '.false.' may not be used as a defined operator
generic :: operator(.false.) => bar generic :: operator(.false.) => bar
end end
Show All 28 Lines

flang/test/Semantics/resolve48.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test correct use-association of a derived type. ! Test correct use-association of a derived type.
module m1 module m1
implicit none implicit none
type :: t type :: t
end type end type
end module end module
module m2 module m2
use m1, only: t use m1, only: t
Show All 26 Lines

flang/test/Semantics/resolve49.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test section subscript ! Test section subscript
program p1 program p1
real :: a(10,10) real :: a(10,10)
real :: b(5,5) real :: b(5,5)
real :: c real :: c
integer :: n integer :: n
n = 2 n = 2
b = a(1:10:n,1:n+3) b = a(1:10:n,1:n+3)
Show All 36 Lines

flang/test/Semantics/resolve50.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test coarray association in CHANGE TEAM statement ! Test coarray association in CHANGE TEAM statement
subroutine s1 subroutine s1
use iso_fortran_env use iso_fortran_env
type(team_type) :: t type(team_type) :: t
complex :: x[*] complex :: x[*]
real :: y[*] real :: y[*]
real :: z real :: z
Show All 21 Lines

flang/test/Semantics/resolve51.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test SELECT TYPE errors: C1157 ! Test SELECT TYPE errors: C1157
subroutine s1() subroutine s1()
type :: t type :: t
end type end type
procedure(f) :: ff procedure(f) :: ff
!ERROR: Selector is not a named variable: 'associate-name =>' is required !ERROR: Selector is not a named variable: 'associate-name =>' is required
select type(ff()) select type(ff())
Show All 9 Lines

flang/test/Semantics/resolve52.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests for C760: ! Tests for C760:
! The passed-object dummy argument shall be a scalar, nonpointer, nonallocatable ! The passed-object dummy argument shall be a scalar, nonpointer, nonallocatable
! dummy data object with the same declared type as the type being defined; ! dummy data object with the same declared type as the type being defined;
! all of its length type parameters shall be assumed; it shall be polymorphic ! all of its length type parameters shall be assumed; it shall be polymorphic
! (7.3.2.3) if and only if the type being defined is extensible (7.5.7). ! (7.3.2.3) if and only if the type being defined is extensible (7.5.7).
! It shall not have the VALUE attribute. ! It shall not have the VALUE attribute.
module m1 module m1
▲ Show 20 Lines • Show All 124 Lines • Show Last 20 Lines

flang/test/Semantics/resolve53.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! 15.4.3.4.5 Restrictions on generic declarations ! 15.4.3.4.5 Restrictions on generic declarations
! Specific procedures of generic interfaces must be distinguishable. ! Specific procedures of generic interfaces must be distinguishable.
module m1 module m1
!ERROR: Generic 'g' may not have specific procedures 's2' and 's4' as their interfaces are not distinguishable !ERROR: Generic 'g' may not have specific procedures 's2' and 's4' as their interfaces are not distinguishable
interface g interface g
procedure s1 procedure s1
procedure s2 procedure s2
▲ Show 20 Lines • Show All 450 Lines • Show Last 20 Lines

flang/test/Semantics/resolve54.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests based on examples in C.10.6 ! Tests based on examples in C.10.6
! C.10.6(10) ! C.10.6(10)
module m1 module m1
interface GOOD1 interface GOOD1
function F1A(X) function F1A(X)
real :: F1A, X real :: F1A, X
end function end function
▲ Show 20 Lines • Show All 177 Lines • Show Last 20 Lines

flang/test/Semantics/resolve55.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests for C1128: ! Tests for C1128:
! A variable-name that appears in a LOCAL or LOCAL_INIT locality-spec shall not ! A variable-name that appears in a LOCAL or LOCAL_INIT locality-spec shall not
! have the ALLOCATABLE; INTENT (IN); or OPTIONAL attribute; shall not be of ! have the ALLOCATABLE; INTENT (IN); or OPTIONAL attribute; shall not be of
! finalizable type; shall not be a nonpointer polymorphic dummy argument; and ! finalizable type; shall not be a nonpointer polymorphic dummy argument; and
! shall not be a coarray or an assumed-size array. ! shall not be a coarray or an assumed-size array.
subroutine s1() subroutine s1()
! Cannot have ALLOCATABLE variable in a locality spec ! Cannot have ALLOCATABLE variable in a locality spec
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

flang/test/Semantics/resolve56.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test that associations constructs can be correctly combined. The intrinsic ! Test that associations constructs can be correctly combined. The intrinsic
! functions are not what is tested here, they are only use to reveal the types ! functions are not what is tested here, they are only use to reveal the types
! of local variables. ! of local variables.
implicit none implicit none
real res real res
complex zres complex zres
integer ires integer ires
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

flang/test/Semantics/resolve57.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests for the last sentence of C1128: ! Tests for the last sentence of C1128:
!A variable-name that is not permitted to appear in a variable definition !A variable-name that is not permitted to appear in a variable definition
!context shall not appear in a LOCAL or LOCAL_INIT locality-spec. !context shall not appear in a LOCAL or LOCAL_INIT locality-spec.
subroutine s1(arg) subroutine s1(arg)
real, intent(in) :: arg real, intent(in) :: arg
! This is not OK because "arg" is "intent(in)" ! This is not OK because "arg" is "intent(in)"
▲ Show 20 Lines • Show All 113 Lines • Show Last 20 Lines

flang/test/Semantics/resolve58.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1(x, y) subroutine s1(x, y)
!ERROR: Array pointer 'x' must have deferred shape or assumed rank !ERROR: Array pointer 'x' must have deferred shape or assumed rank
real, pointer :: x(1:) ! C832 real, pointer :: x(1:) ! C832
!ERROR: Allocatable array 'y' must have deferred shape or assumed rank !ERROR: Allocatable array 'y' must have deferred shape or assumed rank
real, dimension(1:,1:), allocatable :: y ! C832 real, dimension(1:,1:), allocatable :: y ! C832
end end
subroutine s2(a, b, c) subroutine s2(a, b, c)
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

flang/test/Semantics/resolve59.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Testing 15.6.2.2 point 4 (What function-name refers to depending on the ! Testing 15.6.2.2 point 4 (What function-name refers to depending on the
! presence of RESULT). ! presence of RESULT).
module m_no_result module m_no_result
! Without RESULT, it refers to the result object (no recursive ! Without RESULT, it refers to the result object (no recursive
! calls possible) ! calls possible)
contains contains
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

flang/test/Semantics/resolve60.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Testing 7.6 enum ! Testing 7.6 enum
! OK ! OK
enum, bind(C) enum, bind(C)
enumerator :: red, green enumerator :: red, green
enumerator blue, pink enumerator blue, pink
enumerator yellow enumerator yellow
enumerator :: purple = 2 enumerator :: purple = 2
Show All 30 Lines

flang/test/Semantics/resolve61.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
program p1 program p1
integer(8) :: a, b, c, d integer(8) :: a, b, c, d
pointer(a, b) pointer(a, b)
!ERROR: 'b' cannot be a Cray pointer as it is already a Cray pointee !ERROR: 'b' cannot be a Cray pointer as it is already a Cray pointee
pointer(b, c) pointer(b, c)
!ERROR: 'a' cannot be a Cray pointee as it is already a Cray pointer !ERROR: 'a' cannot be a Cray pointee as it is already a Cray pointer
pointer(d, a) pointer(d, a)
end end
▲ Show 20 Lines • Show All 106 Lines • Show Last 20 Lines

flang/test/Semantics/resolve62.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Resolve generic based on number of arguments ! Resolve generic based on number of arguments
subroutine s1 subroutine s1
interface f interface f
real function f1(x) real function f1(x)
optional :: x optional :: x
end end
real function f2(x, y) real function f2(x, y)
end end
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

flang/test/Semantics/resolve63.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Invalid operand types when user-defined operator is available ! Invalid operand types when user-defined operator is available
module m1 module m1
type :: t type :: t
end type end type
interface operator(==) interface operator(==)
logical function eq_tt(x, y) logical function eq_tt(x, y)
import :: t import :: t
type(t), intent(in) :: x, y type(t), intent(in) :: x, y
▲ Show 20 Lines • Show All 228 Lines • Show Last 20 Lines

flang/test/Semantics/resolve64.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18 -flogical-abbreviations -fxor-operator
!OPTIONS: -flogical-abbreviations -fxor-operator
! Like m4 in resolve63 but compiled with different options. ! Like m4 in resolve63 but compiled with different options.
! Alternate operators are enabled so treat these as intrinsic. ! Alternate operators are enabled so treat these as intrinsic.
module m4 module m4
contains contains
subroutine s1(x, y, z) subroutine s1(x, y, z)
logical :: x logical :: x
real :: y, z real :: y, z
Show All 36 Lines

flang/test/Semantics/resolve65.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test restrictions on what subprograms can be used for defined assignment. ! Test restrictions on what subprograms can be used for defined assignment.
module m1 module m1
implicit none implicit none
type :: t type :: t
contains contains
!ERROR: Defined assignment procedure 'binding' must be a subroutine !ERROR: Defined assignment procedure 'binding' must be a subroutine
generic :: assignment(=) => binding generic :: assignment(=) => binding
▲ Show 20 Lines • Show All 104 Lines • Show Last 20 Lines

flang/test/Semantics/resolve66.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test that user-defined assignment is used in the right places ! Test that user-defined assignment is used in the right places
module m1 module m1
type t1 type t1
end type end type
type t2 type t2
end type end type
interface assignment(=) interface assignment(=)
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

flang/test/Semantics/resolve67.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test restrictions on what subprograms can be used for defined operators. ! Test restrictions on what subprograms can be used for defined operators.
! See: 15.4.3.4.2 ! See: 15.4.3.4.2
module m1 module m1
interface operator(+) interface operator(+)
!ERROR: OPERATOR(+) procedure 'add1' must be a function !ERROR: OPERATOR(+) procedure 'add1' must be a function
subroutine add1(x, y, z) subroutine add1(x, y, z)
real, intent(out) :: x real, intent(out) :: x
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

flang/test/Semantics/resolve68.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Test resolution of type-bound generics. ! Test resolution of type-bound generics.
module m1 module m1
type :: t type :: t
contains contains
procedure, pass(x) :: add1 => add procedure, pass(x) :: add1 => add
procedure, nopass :: add2 => add procedure, nopass :: add2 => add
procedure :: add_real procedure :: add_real
Show All 25 Lines

flang/test/Semantics/resolve69.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
subroutine s1() subroutine s1()
! C701 (R701) The type-param-value for a kind type parameter shall be a ! C701 (R701) The type-param-value for a kind type parameter shall be a
! constant expression. ! constant expression.
! !
! C702 (R701) A colon shall not be used as a type-param-value except in the ! C702 (R701) A colon shall not be used as a type-param-value except in the
! declaration of an entity that has the POINTER or ALLOCATABLE attribute. ! declaration of an entity that has the POINTER or ALLOCATABLE attribute.
! !
! C704 (R703) In a declaration-type-spec, every type-param-value that is ! C704 (R703) In a declaration-type-spec, every type-param-value that is
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

flang/test/Semantics/resolve70.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C703 (R702) The derived-type-spec shall not specify an abstract type (7.5.7). ! C703 (R702) The derived-type-spec shall not specify an abstract type (7.5.7).
! This constraint refers to the derived-type-spec in a type-spec. A type-spec ! This constraint refers to the derived-type-spec in a type-spec. A type-spec
! can appear in an ALLOCATE statement, an ac-spec for an array constructor, and ! can appear in an ALLOCATE statement, an ac-spec for an array constructor, and
! in the type specifier of a TYPE GUARD statement ! in the type specifier of a TYPE GUARD statement
! !
! C706 TYPE(derived-type-spec) shall not specify an abstract type (7.5.7). ! C706 TYPE(derived-type-spec) shall not specify an abstract type (7.5.7).
! This is for a declaration-type-spec ! This is for a declaration-type-spec
! !
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines

flang/test/Semantics/resolve71.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C708 An entity declared with the CLASS keyword shall be a dummy argument ! C708 An entity declared with the CLASS keyword shall be a dummy argument
! or have the ALLOCATABLE or POINTER attribute. ! or have the ALLOCATABLE or POINTER attribute.
subroutine s() subroutine s()
type :: parentType type :: parentType
end type end type
class(parentType), pointer :: pvar class(parentType), pointer :: pvar
class(parentType), allocatable :: avar class(parentType), allocatable :: avar
Show All 15 Lines

flang/test/Semantics/resolve72.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C709 An assumed-type entity shall be a dummy data object that does not have ! C709 An assumed-type entity shall be a dummy data object that does not have
! the ALLOCATABLE, CODIMENSION, INTENT (OUT), POINTER, or VALUE attribute and ! the ALLOCATABLE, CODIMENSION, INTENT (OUT), POINTER, or VALUE attribute and
! is not an explicit-shape array. ! is not an explicit-shape array.
subroutine s() subroutine s()
!ERROR: Assumed-type entity 'starvar' must be a dummy argument !ERROR: Assumed-type entity 'starvar' must be a dummy argument
type(*) :: starVar type(*) :: starVar
contains contains
Show All 17 Lines

flang/test/Semantics/resolve73.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C721 A type-param-value of * shall be used only ! C721 A type-param-value of * shall be used only
! * to declare a dummy argument, ! * to declare a dummy argument,
! * to declare a named constant, ! * to declare a named constant,
! * in the type-spec of an ALLOCATE statement wherein each allocate-object is ! * in the type-spec of an ALLOCATE statement wherein each allocate-object is
! a dummy argument of type CHARACTER with an assumed character length, ! a dummy argument of type CHARACTER with an assumed character length,
! * in the type-spec or derived-type-spec of a type guard statement (11.1.11), ! * in the type-spec or derived-type-spec of a type guard statement (11.1.11),
! or ! or
! * in an external function, to declare the character length parameter of the function result. ! * in an external function, to declare the character length parameter of the function result.
Show All 32 Lines

flang/test/Semantics/resolve74.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C722 A function name shall not be declared with an asterisk type-param-value ! C722 A function name shall not be declared with an asterisk type-param-value
! unless it is of type CHARACTER and is the name of a dummy function or the ! unless it is of type CHARACTER and is the name of a dummy function or the
! name of the result of an external function. ! name of the result of an external function.
subroutine s() subroutine s()
type derived(param) type derived(param)
integer, len :: param integer, len :: param
end type end type
Show All 29 Lines

flang/test/Semantics/resolve75.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C726 The length specified for a character statement function or for a ! C726 The length specified for a character statement function or for a
! statement function dummy argument of type character shall be a constant ! statement function dummy argument of type character shall be a constant
! expression. ! expression.
subroutine s() subroutine s()
implicit character(len=3) (c) implicit character(len=3) (c)
implicit character(len=*) (d) implicit character(len=*) (d)
stmtFunc1 (x) = x * 32 stmtFunc1 (x) = x * 32
cStmtFunc2 (x) = "abc" cStmtFunc2 (x) = "abc"
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result !ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
cStmtFunc3 (dummy) = "abc" cStmtFunc3 (dummy) = "abc"
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result !ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
dStmtFunc3 (x) = "abc" dStmtFunc3 (x) = "abc"
end subroutine s end subroutine s

flang/test/Semantics/resolve76.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! 15.6.2.5(3) ! 15.6.2.5(3)
module m1 module m1
implicit logical(a-b) implicit logical(a-b)
interface interface
module subroutine sub1(a, b) module subroutine sub1(a, b)
real, intent(in) :: a real, intent(in) :: a
Show All 21 Lines

flang/test/Semantics/resolve77.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Tests valid and invalid usage of forward references to procedures ! Tests valid and invalid usage of forward references to procedures
! in specification expressions. ! in specification expressions.
module m module m
interface ifn2 interface ifn2
module procedure if2 module procedure if2
end interface end interface
interface ifn3 interface ifn3
module procedure if3 module procedure if3
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

flang/test/Semantics/resolve78.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
! C743 No component-attr-spec shall appear more than once in a ! C743 No component-attr-spec shall appear more than once in a
! given component-def-stmt. ! given component-def-stmt.
! !
! R737 data-component-def-stmt -> ! R737 data-component-def-stmt ->
! declaration-type-spec [[, component-attr-spec-list] ::] ! declaration-type-spec [[, component-attr-spec-list] ::]
! component-decl-list ! component-decl-list
! component-attr-spec values are: ! component-attr-spec values are:
Show All 23 Lines

flang/test/Semantics/resolve79.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
! C755 The same proc-component-attr-spec shall not appear more than once in a ! C755 The same proc-component-attr-spec shall not appear more than once in a
! given proc-component-def-stmt. ! given proc-component-def-stmt.
! C759 PASS and NOPASS shall not both appear in the same ! C759 PASS and NOPASS shall not both appear in the same
! proc-component-attr-spec-list. ! proc-component-attr-spec-list.
! !
! R741 proc-component-def-stmt -> ! R741 proc-component-def-stmt ->
! PROCEDURE ( [proc-interface] ) , proc-component-attr-spec-list ! PROCEDURE ( [proc-interface] ) , proc-component-attr-spec-list
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/resolve80.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
!C778 The same binding-attr shall not appear more than once in a given !C778 The same binding-attr shall not appear more than once in a given
!binding-attr-list. !binding-attr-list.
! !
!R749 type-bound-procedure-stmt !R749 type-bound-procedure-stmt
! PROCEDURE [ [ ,binding-attr-list] :: ]type-bound-proc-decl-list ! PROCEDURE [ [ ,binding-attr-list] :: ]type-bound-proc-decl-list
! or PROCEDURE (interface-name),binding-attr-list::binding-name-list ! or PROCEDURE (interface-name),binding-attr-list::binding-name-list
! !
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

flang/test/Semantics/resolve81.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C801 The same attr-spec shall not appear more than once in a given ! C801 The same attr-spec shall not appear more than once in a given
! type-declaration-stmt. ! type-declaration-stmt.
! !
! R801 type-declaration-stmt -> ! R801 type-declaration-stmt ->
! declaration-type-spec [[, attr-spec]... ::] entity-decl-list ! declaration-type-spec [[, attr-spec]... ::] entity-decl-list
! attr-spec values are: ! attr-spec values are:
! PUBLIC, PRIVATE, ALLOCATABLE, ASYNCHRONOUS, CODIMENSION, CONTIGUOUS, ! PUBLIC, PRIVATE, ALLOCATABLE, ASYNCHRONOUS, CODIMENSION, CONTIGUOUS,
! DIMENSION (array-spec), EXTERNAL, INTENT (intent-spec), INTRINSIC, ! DIMENSION (array-spec), EXTERNAL, INTENT (intent-spec), INTRINSIC,
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

flang/test/Semantics/resolve82.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C815 An entity shall not be explicitly given any attribute more than once in ! C815 An entity shall not be explicitly given any attribute more than once in
! a scoping unit. ! a scoping unit.
! !
! R1512 procedure-declaration-stmt -> ! R1512 procedure-declaration-stmt ->
! PROCEDURE ( [proc-interface] ) [[, proc-attr-spec]... ::] ! PROCEDURE ( [proc-interface] ) [[, proc-attr-spec]... ::]
! proc-decl-list ! proc-decl-list
! proc-attr-spec values are: ! proc-attr-spec values are:
! PUBLIC, PRIVATE, BIND(C), INTENT (intent-spec), OPTIONAL, POINTER, ! PUBLIC, PRIVATE, BIND(C), INTENT (intent-spec), OPTIONAL, POINTER,
Show All 38 Lines

flang/test/Semantics/resolve83.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
! For C1543 ! For C1543
interface intFace interface intFace
!WARNING: Attribute 'MODULE' cannot be used more than once !WARNING: Attribute 'MODULE' cannot be used more than once
module pure module real function moduleFunc() module pure module real function moduleFunc()
end function moduleFunc end function moduleFunc
end interface end interface
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

flang/test/Semantics/resolve84.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C729 A derived type type-name shall not be DOUBLEPRECISION or the same as ! C729 A derived type type-name shall not be DOUBLEPRECISION or the same as
! the name of any intrinsic type defined in this document. ! the name of any intrinsic type defined in this document.
subroutine s() subroutine s()
! This one's OK ! This one's OK
type derived type derived
end type end type
!ERROR: A derived type name cannot be the name of an intrinsic type !ERROR: A derived type name cannot be the name of an intrinsic type
type integer type integer
Show All 17 Lines

flang/test/Semantics/resolve85.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
module m module m
! C730 The same type-attr-spec shall not appear more than once in a given ! C730 The same type-attr-spec shall not appear more than once in a given
! derived-type-stmt. ! derived-type-stmt.
! !
! R727 derived-type-stmt -> ! R727 derived-type-stmt ->
! TYPE [[, type-attr-spec-list] ::] type-name [( type-param-name-list )] ! TYPE [[, type-attr-spec-list] ::] type-name [( type-param-name-list )]
! type-attr-spec values are: ! type-attr-spec values are:
! ABSTRACT, PUBLIC, PRIVATE, BIND(C), EXTENDS(parent-type-name) ! ABSTRACT, PUBLIC, PRIVATE, BIND(C), EXTENDS(parent-type-name)
Show All 28 Lines

flang/test/Semantics/resolve86.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C736 If EXTENDS appears and the type being defined has a coarray ultimate ! C736 If EXTENDS appears and the type being defined has a coarray ultimate
! component, its parent type shall have a coarray ultimate component. ! component, its parent type shall have a coarray ultimate component.
! !
subroutine s() subroutine s()
type coarrayParent type coarrayParent
real,allocatable, codimension[:] :: parentField real,allocatable, codimension[:] :: parentField
end type coarrayParent end type coarrayParent
Show All 35 Lines

flang/test/Semantics/resolve87.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C737 If EXTENDS appears and the type being defined has a potential ! C737 If EXTENDS appears and the type being defined has a potential
! subobject component of type EVENT_TYPE or LOCK_TYPE from the intrinsic ! subobject component of type EVENT_TYPE or LOCK_TYPE from the intrinsic
! module ISO_FORTRAN_ENV, its parent type shall be EVENT_TYPE or LOCK_TYPE ! module ISO_FORTRAN_ENV, its parent type shall be EVENT_TYPE or LOCK_TYPE
! or have a potential subobject component of type EVENT_TYPE or LOCK_TYPE. ! or have a potential subobject component of type EVENT_TYPE or LOCK_TYPE.
module not_iso_fortran_env module not_iso_fortran_env
type event_type type event_type
end type end type
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

flang/test/Semantics/resolve88.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C746, C747, and C748 ! C746, C747, and C748
module m module m
use ISO_FORTRAN_ENV use ISO_FORTRAN_ENV
use ISO_C_BINDING use ISO_C_BINDING
! C746 If a coarray-spec appears, it shall be a deferred-coshape-spec-list and ! C746 If a coarray-spec appears, it shall be a deferred-coshape-spec-list and
! the component shall have the ALLOCATABLE attribute. ! the component shall have the ALLOCATABLE attribute.
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/resolve89.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! C750 Each bound in the explicit-shape-spec shall be a specification ! C750 Each bound in the explicit-shape-spec shall be a specification
! expression in which there are no references to specification functions or ! expression in which there are no references to specification functions or
! the intrinsic functions ALLOCATED, ASSOCIATED, EXTENDS_- TYPE_OF, PRESENT, ! the intrinsic functions ALLOCATED, ASSOCIATED, EXTENDS_- TYPE_OF, PRESENT,
! or SAME_TYPE_AS, every specification inquiry reference is a constant ! or SAME_TYPE_AS, every specification inquiry reference is a constant
! expression, and the value does not depend on the value of a variable. ! expression, and the value does not depend on the value of a variable.
impure function impureFunc() impure function impureFunc()
integer :: impureFunc integer :: impureFunc
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

flang/test/Semantics/select-rank.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!Tests for SELECT RANK Construct(R1148) !Tests for SELECT RANK Construct(R1148)
program select_rank program select_rank
implicit none implicit none
integer, dimension(10:30, 10:20, -1:20) :: x integer, dimension(10:30, 10:20, -1:20) :: x
integer, parameter :: y(*) = [1,2,3,4] integer, parameter :: y(*) = [1,2,3,4]
integer, dimension(5) :: z integer, dimension(5) :: z
integer, allocatable :: a(:) integer, allocatable :: a(:)
▲ Show 20 Lines • Show All 256 Lines • Show Last 20 Lines

flang/test/Semantics/select-rank02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
!Shape analysis related tests for SELECT RANK Construct(R1148) !Shape analysis related tests for SELECT RANK Construct(R1148)
program select_rank program select_rank
implicit none implicit none
integer, dimension(2,3):: arr_pass integer, dimension(2,3):: arr_pass
call check(arr_pass) call check(arr_pass)
contains contains
subroutine check(arr) subroutine check(arr)
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

flang/test/Semantics/separate-mp01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! case 1: ma_create_new_fun' was not declared a separate module procedure ! case 1: ma_create_new_fun' was not declared a separate module procedure
module m1 module m1
integer :: i integer :: i
interface ma interface ma
module function ma_create_fun( ) result(this) module function ma_create_fun( ) result(this)
integer this integer this
end function end function
▲ Show 20 Lines • Show All 100 Lines • Show Last 20 Lines

flang/test/Semantics/separate-mp02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! When a module subprogram has the MODULE prefix the following must match ! When a module subprogram has the MODULE prefix the following must match
! with the corresponding separate module procedure interface body: ! with the corresponding separate module procedure interface body:
! - C1549: characteristics and dummy argument names ! - C1549: characteristics and dummy argument names
! - C1550: binding label ! - C1550: binding label
! - C1551: NON_RECURSIVE prefix ! - C1551: NON_RECURSIVE prefix
module m1 module m1
▲ Show 20 Lines • Show All 276 Lines • Show Last 20 Lines

flang/test/Semantics/stop01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
program main program main
implicit none implicit none
integer :: i = -1 integer :: i = -1
integer, pointer :: p_i integer, pointer :: p_i
integer(kind = 1) :: invalid = 0 integer(kind = 1) :: invalid = 0
integer, dimension(1:100) :: iarray integer, dimension(1:100) :: iarray
integer, dimension(:), pointer :: p_iarray integer, dimension(:), pointer :: p_iarray
integer, allocatable, dimension(:) :: aiarray integer, allocatable, dimension(:) :: aiarray
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

flang/test/Semantics/structconst01.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for structure constructors. ! Error tests for structure constructors.
! Errors caught by name resolution are tested elsewhere; these are the ! Errors caught by name resolution are tested elsewhere; these are the
! errors meant to be caught by expression semantic analysis, as well as ! errors meant to be caught by expression semantic analysis, as well as
! acceptable use cases. ! acceptable use cases.
! Type parameters are used here to make the parses unambiguous. ! Type parameters are used here to make the parses unambiguous.
! C796 (R756) The derived-type-spec shall not specify an abstract type (7.5.7). ! C796 (R756) The derived-type-spec shall not specify an abstract type (7.5.7).
! This refers to a derived-type-spec used in a structure constructor ! This refers to a derived-type-spec used in a structure constructor
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

flang/test/Semantics/structconst02.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for structure constructors: per-component type ! Error tests for structure constructors: per-component type
! (in)compatibility. ! (in)compatibility.
module module1 module module1
interface interface
real function realfunc(x) real function realfunc(x)
real, value :: x real, value :: x
end function realfunc end function realfunc
Show All 33 Lines

flang/test/Semantics/structconst03.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for structure constructors: C1594 violations ! Error tests for structure constructors: C1594 violations
! from assigning globally-visible data to POINTER components. ! from assigning globally-visible data to POINTER components.
! test/Semantics/structconst04.f90 is this same test without type ! test/Semantics/structconst04.f90 is this same test without type
! parameters. ! parameters.
module usefrom module usefrom
real, target :: usedfrom1 real, target :: usedfrom1
end module usefrom end module usefrom
▲ Show 20 Lines • Show All 144 Lines • Show Last 20 Lines

flang/test/Semantics/structconst04.f90

! RUN: %B/test/Semantics/test_errors.sh %s %flang %t ! RUN: %S/test_errors.sh %s %t %f18
! Error tests for structure constructors: C1594 violations ! Error tests for structure constructors: C1594 violations
! from assigning globally-visible data to POINTER components. ! from assigning globally-visible data to POINTER components.
! This test is structconst03.f90 with the type parameters removed. ! This test is structconst03.f90 with the type parameters removed.
module usefrom module usefrom
real, target :: usedfrom1 real, target :: usedfrom1
end module usefrom end module usefrom
▲ Show 20 Lines • Show All 139 Lines • Show Last 20 Lines

flang/test/Semantics/symbol01.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Test that intent-stmt and subprogram prefix and suffix are resolved. ! Test that intent-stmt and subprogram prefix and suffix are resolved.
!DEF: /m Module !DEF: /m Module
module m module m
!DEF: /m/f PRIVATE, PURE, RECURSIVE (Function) Subprogram REAL(4) !DEF: /m/f PRIVATE, PURE, RECURSIVE (Function) Subprogram REAL(4)
private :: f private :: f
contains contains
!DEF: /m/s BIND(C), PUBLIC, PURE (Subroutine) Subprogram !DEF: /m/s BIND(C), PUBLIC, PURE (Subroutine) Subprogram
Show All 21 Lines

flang/test/Semantics/symbol02.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Test host association in module subroutine and internal subroutine. ! Test host association in module subroutine and internal subroutine.
!DEF: /m Module !DEF: /m Module
module m module m
!DEF: /m/t PUBLIC DerivedType !DEF: /m/t PUBLIC DerivedType
type :: t type :: t
end type end type
!REF: /m/t !REF: /m/t
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

flang/test/Semantics/symbol03.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Test host association in internal subroutine of main program. ! Test host association in internal subroutine of main program.
!DEF: /main MainProgram !DEF: /main MainProgram
program main program main
!DEF: /main/x ObjectEntity INTEGER(4) !DEF: /main/x ObjectEntity INTEGER(4)
integer x integer x
!DEF: /main/s (Subroutine) Subprogram !DEF: /main/s (Subroutine) Subprogram
call s call s
contains contains
!REF: /main/s !REF: /main/s
subroutine s subroutine s
!DEF: /main/s/y (Implicit) ObjectEntity REAL(4) !DEF: /main/s/y (Implicit) ObjectEntity REAL(4)
!REF: /main/x !REF: /main/x
y = x y = x
end subroutine end subroutine
end program end program

flang/test/Semantics/symbol05.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Explicit and implicit entities in blocks ! Explicit and implicit entities in blocks
!DEF: /s1 (Subroutine) Subprogram !DEF: /s1 (Subroutine) Subprogram
subroutine s1 subroutine s1
!DEF: /s1/x ObjectEntity INTEGER(4) !DEF: /s1/x ObjectEntity INTEGER(4)
integer x integer x
block block
!DEF: /s1/Block1/y ObjectEntity INTEGER(4) !DEF: /s1/Block1/y ObjectEntity INTEGER(4)
▲ Show 20 Lines • Show All 108 Lines • Show Last 20 Lines

flang/test/Semantics/symbol06.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /main MainProgram !DEF: /main MainProgram
program main program main
!DEF: /main/t1 DerivedType !DEF: /main/t1 DerivedType
type :: t1 type :: t1
!DEF: /main/t1/a1 ObjectEntity INTEGER(4) !DEF: /main/t1/a1 ObjectEntity INTEGER(4)
integer :: a1 integer :: a1
end type end type
!REF: /main/t1 !REF: /main/t1
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

flang/test/Semantics/symbol07.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /main MainProgram !DEF: /main MainProgram
program main program main
implicit complex(z) implicit complex(z)
!DEF: /main/t DerivedType !DEF: /main/t DerivedType
type :: t type :: t
!DEF: /main/t/re ObjectEntity REAL(4) !DEF: /main/t/re ObjectEntity REAL(4)
real :: re real :: re
!DEF: /main/t/im ObjectEntity REAL(4) !DEF: /main/t/im ObjectEntity REAL(4)
Show All 31 Lines

flang/test/Semantics/symbol08.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /main MainProgram !DEF: /main MainProgram
program main program main
!DEF: /main/x POINTER ObjectEntity REAL(4) !DEF: /main/x POINTER ObjectEntity REAL(4)
pointer :: x pointer :: x
!REF: /main/x !REF: /main/x
real x real x
!DEF: /main/y EXTERNAL, POINTER (Function) ProcEntity REAL(4) !DEF: /main/y EXTERNAL, POINTER (Function) ProcEntity REAL(4)
pointer :: y pointer :: y
!REF: /main/y !REF: /main/y
procedure (real) :: y procedure (real) :: y
!DEF: /main/z (Implicit) ObjectEntity REAL(4) !DEF: /main/z (Implicit) ObjectEntity REAL(4)
!REF: /main/y !REF: /main/y
z = y() z = y()
end program end program

flang/test/Semantics/symbol09.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /s1 (Subroutine) Subprogram !DEF: /s1 (Subroutine) Subprogram
subroutine s1 subroutine s1
!DEF: /s1/a ObjectEntity REAL(4) !DEF: /s1/a ObjectEntity REAL(4)
!DEF: /s1/b ObjectEntity REAL(4) !DEF: /s1/b ObjectEntity REAL(4)
real a(10), b(10) real a(10), b(10)
!DEF: /s1/i ObjectEntity INTEGER(8) !DEF: /s1/i ObjectEntity INTEGER(8)
integer(kind=8) i integer(kind=8) i
!DEF: /s1/Forall1/i ObjectEntity INTEGER(8) !DEF: /s1/Forall1/i ObjectEntity INTEGER(8)
▲ Show 20 Lines • Show All 133 Lines • Show Last 20 Lines

flang/test/Semantics/symbol10.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /m1 Module !DEF: /m1 Module
module m1 module m1
contains contains
!DEF: /m1/foo_complex PUBLIC (Subroutine) Subprogram !DEF: /m1/foo_complex PUBLIC (Subroutine) Subprogram
!DEF: /m1/foo_complex/z ObjectEntity COMPLEX(4) !DEF: /m1/foo_complex/z ObjectEntity COMPLEX(4)
subroutine foo_complex (z) subroutine foo_complex (z)
!REF: /m1/foo_complex/z !REF: /m1/foo_complex/z
complex z complex z
Show All 31 Lines

flang/test/Semantics/symbol11.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
!DEF: /s1 (Subroutine) Subprogram !DEF: /s1 (Subroutine) Subprogram
subroutine s1 subroutine s1
implicit none implicit none
!DEF: /s1/x ObjectEntity REAL(8) !DEF: /s1/x ObjectEntity REAL(8)
real(kind=8) :: x = 2.0 real(kind=8) :: x = 2.0
!DEF: /s1/a ObjectEntity INTEGER(4) !DEF: /s1/a ObjectEntity INTEGER(4)
integer a integer a
!DEF: /s1/t DerivedType !DEF: /s1/t DerivedType
▲ Show 20 Lines • Show All 125 Lines • Show Last 20 Lines

flang/test/Semantics/symbol12.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Verify that SAVE attribute is propagated by EQUIVALENCE ! Verify that SAVE attribute is propagated by EQUIVALENCE
!DEF: /s1 (Subroutine) Subprogram !DEF: /s1 (Subroutine) Subprogram
subroutine s1 subroutine s1
!DEF: /s1/a SAVE ObjectEntity REAL(4) !DEF: /s1/a SAVE ObjectEntity REAL(4)
!DEF: /s1/b SAVE ObjectEntity REAL(4) !DEF: /s1/b SAVE ObjectEntity REAL(4)
!DEF: /s1/c SAVE ObjectEntity REAL(4) !DEF: /s1/c SAVE ObjectEntity REAL(4)
!DEF: /s1/d SAVE ObjectEntity REAL(4) !DEF: /s1/d SAVE ObjectEntity REAL(4)
Show All 19 Lines

flang/test/Semantics/symbol13.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Old-style "*length" specifiers (R723) ! Old-style "*length" specifiers (R723)
!DEF: /f1 (Function) Subprogram CHARACTER(1_8,1) !DEF: /f1 (Function) Subprogram CHARACTER(1_8,1)
!DEF: /f1/x1 INTENT(IN) ObjectEntity CHARACTER(2_4,1) !DEF: /f1/x1 INTENT(IN) ObjectEntity CHARACTER(2_4,1)
!DEF: /f1/x2 INTENT(IN) ObjectEntity CHARACTER(3_4,1) !DEF: /f1/x2 INTENT(IN) ObjectEntity CHARACTER(3_4,1)
character*1 function f1(x1, x2) character*1 function f1(x1, x2)
!DEF: /f1/n PARAMETER ObjectEntity INTEGER(4) !DEF: /f1/n PARAMETER ObjectEntity INTEGER(4)
integer, parameter :: n = 2 integer, parameter :: n = 2
Show All 14 Lines

flang/test/Semantics/symbol14.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! "Bare" uses of type parameters and components ! "Bare" uses of type parameters and components
!DEF: /MainProgram1/t1 DerivedType !DEF: /MainProgram1/t1 DerivedType
!DEF: /MainProgram1/t1/k TypeParam INTEGER(4) !DEF: /MainProgram1/t1/k TypeParam INTEGER(4)
type :: t1(k) type :: t1(k)
!REF: /MainProgram1/t1/k !REF: /MainProgram1/t1/k
integer, kind :: k=666 integer, kind :: k=666
!DEF: /MainProgram1/t1/a ObjectEntity REAL(4) !DEF: /MainProgram1/t1/a ObjectEntity REAL(4)
Show All 18 Lines

flang/test/Semantics/symbol15.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Forward references in pointer initializers and TBP bindings. ! Forward references in pointer initializers and TBP bindings.
!DEF: /m Module !DEF: /m Module
module m module m
implicit none implicit none
abstract interface abstract interface
!DEF: /m/iface PUBLIC (Subroutine) Subprogram !DEF: /m/iface PUBLIC (Subroutine) Subprogram
subroutine iface subroutine iface
▲ Show 20 Lines • Show All 245 Lines • Show Last 20 Lines

flang/test/Semantics/symbol16.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Statement functions ! Statement functions
!DEF: /p1 MainProgram !DEF: /p1 MainProgram
program p1 program p1
!DEF: /p1/f (Function) Subprogram INTEGER(4) !DEF: /p1/f (Function) Subprogram INTEGER(4)
!DEF: /p1/i ObjectEntity INTEGER(4) !DEF: /p1/i ObjectEntity INTEGER(4)
!DEF: /p1/j ObjectEntity INTEGER(4) !DEF: /p1/j ObjectEntity INTEGER(4)
integer f, i, j integer f, i, j
!REF: /p1/f !REF: /p1/f
!REF: /p1/i !REF: /p1/i
!DEF: /p1/f/i ObjectEntity INTEGER(4) !DEF: /p1/f/i ObjectEntity INTEGER(4)
f(i) = i + 1 f(i) = i + 1
!REF: /p1/j !REF: /p1/j
!REF: /p1/f !REF: /p1/f
j = f(2) j = f(2)
end program end program

flang/test/Semantics/symbol17.f90

! RUN: %S/test_symbols.sh %s %flang %t ! RUN: %S/test_symbols.sh %s %t %f18
! Forward references to derived types (non-error cases) ! Forward references to derived types (non-error cases)
!DEF: /main MainProgram !DEF: /main MainProgram
program main program main
!DEF: /main/t1 DerivedType !DEF: /main/t1 DerivedType
type :: t1 type :: t1
!DEF: /main/t2 DerivedType !DEF: /main/t2 DerivedType
!DEF: /main/t1/t1a ALLOCATABLE ObjectEntity TYPE(t2) !DEF: /main/t1/t1a ALLOCATABLE ObjectEntity TYPE(t2)
▲ Show 20 Lines • Show All 131 Lines • Show Last 20 Lines

flang/test/Semantics/test_any.sh

Show First 20 Lines • Show All 42 Lines • ▼ Show 20 Lines if [ ${count} -gt 1 ]; then
r=false r=false
fi fi
done < ${lcheck} done < ${lcheck}
rm -f ${lstdin} ${lcheck} rm -f ${lstdin} ${lcheck}
${r} ${r}
} }
gr=0 gr=0
for input in $1; do for input in $src; do
[[ ! -f $input ]] && die "File not found: $input" [[ ! -f $input ]] && die "File not found: $input"
CMD=$(cat ${input} | egrep '^[[:space:]]*![[:space:]]*EXEC:[[:space:]]*' | sed -e 's/^[[:space:]]*![[:space:]]*EXEC:[[:space:]]*//') CMD=$(cat ${input} | egrep '^[[:space:]]*![[:space:]]*EXEC:[[:space:]]*' | sed -e 's/^[[:space:]]*![[:space:]]*EXEC:[[:space:]]*//')
CMD=$(echo ${CMD} | sed -e "s:%s:${input}:g") CMD=$(echo ${CMD} | sed -e "s:%s:${input}:g")
if egrep -q -e '%t' <<< ${CMD} ; then if egrep -q -e '%t' <<< ${CMD} ; then
CMD=$(echo ${CMD} | sed -e "s:%t:$temp/t:g") CMD=$(echo ${CMD} | sed -e "s:%t:$temp/t:g")
fi fi
if $(eval $CMD); then if $(eval $CMD); then
echo "PASS ${input}" echo "PASS ${input}"
else else
echo "FAIL ${input}" echo "FAIL ${input}"
gr=1 gr=1
fi fi
done done
exit $gr exit $gr

flang/test/Semantics/test_errors.sh

  • This file was moved from flang/test/Semantics/test_errors.sh.in.
#!/usr/bin/env bash #!/usr/bin/env bash
# Compile a source file and check errors against those listed in the file. # Compile a source file and check errors against those listed in the file.
# Change the compiler by setting the F18 environment variable. # Change the compiler by setting the F18 environment variable.
F18_OPTIONS="-fdebug-resolve-names -fparse-only" F18_OPTIONS="-fdebug-resolve-names -fparse-only"
srcdir="@CMAKE_CURRENT_SOURCE_DIR@" srcdir=$(dirname $0)
source $srcdir/common.sh source $srcdir/common.sh
[[ ! -f $src ]] && die "File not found: $src" [[ ! -f $src ]] && die "File not found: $src"
log=$temp/log log=$temp/log
actual=$temp/actual actual=$temp/actual
expect=$temp/expect expect=$temp/expect
diffs=$temp/diffs diffs=$temp/diffs
include="@FLANG_INTRINSIC_MODULES_DIR@" cmd="$F18 $F18_OPTIONS $src"
cmd="$F18 $F18_OPTIONS $USER_OPTIONS -I$include $src"
( cd $temp; $cmd ) > $log 2>&1 ( cd $temp; $cmd ) > $log 2>&1
if [[ $? -ge 128 ]]; then if [[ $? -ge 128 ]]; then
cat $log cat $log
exit 1 exit 1
fi fi
# $actual has errors from the compiler; $expect has them from !ERROR comments in source # $actual has errors from the compiler; $expect has them from !ERROR comments in source
# Format both as "<line>: <text>" so they can be diffed. # Format both as "<line>: <text>" so they can be diffed.
Show All 16 Lines

flang/test/Semantics/test_errors.sh.in

  • This file was moved to flang/test/Semantics/test_errors.sh.

flang/test/Semantics/test_modfile.sh

Show All 15 Lines
touch $actual touch $actual
for src in "$@"; do for src in "$@"; do
[[ ! -f $src ]] && echo "File not found: $src" && exit 1 [[ ! -f $src ]] && echo "File not found: $src" && exit 1
path=$(git ls-files --full-name $src 2>/dev/null || echo $src) path=$(git ls-files --full-name $src 2>/dev/null || echo $src)
( (
cd $temp cd $temp
ls -1 *.mod > prev_files ls -1 *.mod > prev_files
$F18 $F18_OPTIONS $USER_OPTIONS $src $F18 $F18_OPTIONS $src
ls -1 *.mod | comm -13 prev_files - ls -1 *.mod | comm -13 prev_files -
) > $actual_files ) > $actual_files
expected_files=$(sed -n 's/^!Expect: \(.*\)/\1/p' $src | sort) expected_files=$(sed -n 's/^!Expect: \(.*\)/\1/p' $src | sort)
extra_files=$(echo "$expected_files" | comm -23 $actual_files -) extra_files=$(echo "$expected_files" | comm -23 $actual_files -)
if [[ ! -z "$extra_files" ]]; then if [[ ! -z "$extra_files" ]]; then
echo "Unexpected .mod files produced:" $extra_files echo "Unexpected .mod files produced:" $extra_files
die FAIL $path die FAIL $path
fi fi
Show All 17 Lines

flang/test/Semantics/test_symbols.sh

Show All 15 Lines
# Strip out blank lines and all comments except "!DEF:", "!REF:", and "!$omp" # Strip out blank lines and all comments except "!DEF:", "!REF:", and "!$omp"
sed -e 's/!\([DR]EF:\)/KEEP \1/' -e 's/!\($omp\)/KEEP \1/' \ sed -e 's/!\([DR]EF:\)/KEEP \1/' -e 's/!\($omp\)/KEEP \1/' \
-e 's/!.*//' -e 's/ *$//' -e '/^$/d' -e 's/KEEP \([DR]EF:\)/!\1/' \ -e 's/!.*//' -e 's/ *$//' -e '/^$/d' -e 's/KEEP \([DR]EF:\)/!\1/' \
-e 's/KEEP \($omp\)/!\1/' \ -e 's/KEEP \($omp\)/!\1/' \
$src > $src1 $src > $src1
egrep -v '![DR]EF:' $src1 > $src2 # strip out DEF and REF comments egrep -v '![DR]EF:' $src1 > $src2 # strip out DEF and REF comments
# compile, inserting comments for symbols: # compile, inserting comments for symbols:
( cd $temp; $F18 $F18_OPTIONS $USER_OPTIONS $(basename $src2) ) > $src3 ( cd $temp; $F18 $F18_OPTIONS $(basename $src2) ) > $src3
if diff -w -U999999 $src1 $src3 > $diffs; then if diff -w -U999999 $src1 $src3 > $diffs; then
echo PASS echo PASS
else else
sed '1,/^\@\@/d' $diffs sed '1,/^\@\@/d' $diffs
echo echo
echo FAIL echo FAIL
exit 1 exit 1
fi fi

flang/test/lit.cfg.py

Show First 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
llvm_config.with_environment('PATH', config.llvm_tools_dir, append_path=True) llvm_config.with_environment('PATH', config.llvm_tools_dir, append_path=True)
# For builds with FIR, set path for tco and enable related tests # For builds with FIR, set path for tco and enable related tests
if config.flang_llvm_tools_dir != "" : if config.flang_llvm_tools_dir != "" :
config.available_features.add('fir') config.available_features.add('fir')
if config.llvm_tools_dir != config.flang_llvm_tools_dir : if config.llvm_tools_dir != config.flang_llvm_tools_dir :
llvm_config.with_environment('PATH', config.flang_llvm_tools_dir, append_path=True) llvm_config.with_environment('PATH', config.flang_llvm_tools_dir, append_path=True)
config.substitutions.append(('%B', config.flang_obj_root))
# For each occurrence of a flang tool name, replace it with the full path to # For each occurrence of a flang tool name, replace it with the full path to
# the build directory holding that tool. # the build directory holding that tool.
tools = [ tools = [
ToolSubst('%flang', command=FindTool('flang'), unresolved='fatal'), ToolSubst('%f18', command=FindTool('f18'),
ToolSubst('%f18', command=FindTool('f18'), unresolved='fatal'), extra_args=["-intrinsic-module-directory "+config.flang_intrinsic_modules_dir],
ToolSubst('%f18_with_includes', command=FindTool('f18'), unresolved='fatal')
extra_args=["-I" + config.flang_intrinsic_modules_dir], unresolved='fatal')
] ]
llvm_config.add_tool_substitutions(tools, [config.flang_llvm_tools_dir]) llvm_config.add_tool_substitutions(tools, [config.flang_llvm_tools_dir])
# Enable libpgmath testing # Enable libpgmath testing
result = lit_config.params.get("LIBPGMATH") result = lit_config.params.get("LIBPGMATH")
if result: if result:
config.environment["LIBPGMATH"] = True config.environment["LIBPGMATH"] = True
flang/test/Evaluate/test_folding.sh