This is an archive of the discontinued LLVM Phabricator instance.

Differential D100309

[flang] Update the remaining tests to use the new driver when enabled
ClosedPublic

Authored by awarzynski on Apr 12 2021, 8:25 AM.

Details

Reviewers
sscalpone
jdoerfert
tskeith
kiranktp
arnamoy10
SouraVX
AMDChirag
kiranchandramohan
Leporacanthicus
Commits
rGe7be90bd2705: [flang] Update the regression tests to use the new driver when enabled
Summary

This is another set of changes to allow us to share more Flang
regression tests between f18 and flang-new.

Summary of changes:

  • RUN lines in tests are updated to use %flang_fc1 instead of %f18
  • option spellings in tests are updated to forms accepted by both f18 and flang-new

The corresponding tests will now be run with the new driver,
flang-new, whenever it is enabled (i.e when FLANG_BUILD_NEW_DRIVER
is set).

A handful of tests have not been updated yet - these are currently
either failing or are not supported by the new driver. Also, for the
sake of consistency with the rest of the testing infrastructure, some
variables in Bash scripts are renamed.

Diff Detail

Event Timeline

awarzynski created this revision.Apr 12 2021, 8:25 AM
Herald added a reviewer: sscalpone. · View Herald TranscriptApr 12 2021, 8:25 AM
awarzynski requested review of this revision.Apr 12 2021, 8:25 AM
Herald added a reviewer: jdoerfert. · View Herald TranscriptApr 12 2021, 8:25 AM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, sstefan1. · View Herald Transcript
Harbormaster completed remote builds in B98279: Diff 336842.Apr 12 2021, 8:54 AM
awarzynski added reviewers: tskeith, kiranktp, arnamoy10, SouraVX, AMDChirag, kiranchandramohan.Apr 12 2021, 10:31 AM
awarzynski added a project: Restricted Project.
awarzynski added a comment.Apr 12 2021, 10:34 AM

Apologies for sending such a chunky patch. Please let me know if you see a good way to split this.

Vast majority of changes here are automatic:

grep -IEZlr "%f18" flang/test/ | xargs -0 -l sed -i 's/%f18/%flang_fc1/g

I hope that this helps!

awarzynski updated this revision to Diff 337121.Apr 13 2021, 5:58 AM

Rebase on top of main

awarzynski updated this revision to Diff 337123.Apr 13 2021, 6:06 AM

Add one missing test

Harbormaster completed remote builds in B98469: Diff 337121.Apr 13 2021, 6:26 AM
Harbormaster completed remote builds in B98471: Diff 337123.Apr 13 2021, 6:43 AM
awarzynski added a reviewer: Leporacanthicus.Apr 13 2021, 7:52 AM
Leporacanthicus accepted this revision.Apr 13 2021, 9:10 AM

LGTM.

This revision is now accepted and ready to land.Apr 13 2021, 9:10 AM
Closed by commit rGe7be90bd2705: [flang] Update the regression tests to use the new driver when enabled (authored by awarzynski). · Explain WhyApr 15 2021, 1:53 AM
This revision was automatically updated to reflect the committed changes.
awarzynski added a commit: rGe7be90bd2705: [flang] Update the regression tests to use the new driver when enabled.
awarzynski mentioned this in D100655: [flang][nfc] Port 2 tests to use the new driver when enabled.Apr 16 2021, 8:33 AM
awarzynski mentioned this in rGc2e452fb05a7: [flang][nfc] Port 2 tests to use the new driver when enabled.Apr 20 2021, 5:59 AM
awarzynski mentioned this in rG2f67267a93c8: [flang] Switch from %f18 to %flang_fc1 in a test.Apr 23 2021, 8:10 AM

Revision Contents

PathSize
flang/
test/
Evaluate/
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
Lower/
2 lines
Parser/
2 lines
2 lines
2 lines
Semantics/
OpenACC/
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
7 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
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
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
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
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
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
6 lines
4 lines
8 lines

Diff 337666

flang/test/Evaluate/folding01.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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 128 Lines • Show Last 20 Lines

flang/test/Evaluate/folding02.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Check intrinsic function folding with host runtime library ! Check intrinsic function folding with host runtime library
module m module m
real(2), parameter :: eps2 = 0.001_2 real(2), parameter :: eps2 = 0.001_2
real(2), parameter :: eps3 = 0.001_3 real(2), parameter :: eps3 = 0.001_3
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
▲ Show 20 Lines • Show All 254 Lines • Show Last 20 Lines

flang/test/Evaluate/folding03.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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 20 Lines • Show All 59 Lines • Show Last 20 Lines

flang/test/Evaluate/folding06.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test transformational intrinsic function folding ! Test transformational intrinsic function folding
module m module m
! Testing ASSOCATED ! Testing ASSOCATED
integer, pointer :: int_pointer integer, pointer :: int_pointer
integer, allocatable :: int_allocatable integer, allocatable :: int_allocatable
logical, parameter :: test_Assoc1 = .not.(associated(null())) logical, parameter :: test_Assoc1 = .not.(associated(null()))
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Evaluate/folding07.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! 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/folding10.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Tests folding of SHAPE(TRANSFER(...)) ! Tests folding of SHAPE(TRANSFER(...))
module m module m
logical, parameter :: test_size_1 = size(shape(transfer(123456789,0_1,size=4))) == 1 logical, parameter :: test_size_1 = size(shape(transfer(123456789,0_1,size=4))) == 1
logical, parameter :: test_size_2 = all(shape(transfer(123456789,0_1,size=4)) == [4]) logical, parameter :: test_size_2 = all(shape(transfer(123456789,0_1,size=4)) == [4])
logical, parameter :: test_scalar_1 = size(shape(transfer(123456789, 0_1))) == 0 logical, parameter :: test_scalar_1 = size(shape(transfer(123456789, 0_1))) == 0
logical, parameter :: test_vector_1 = size(shape(transfer(123456789, [0_1]))) == 1 logical, parameter :: test_vector_1 = size(shape(transfer(123456789, [0_1]))) == 1
logical, parameter :: test_vector_2 = all(shape(transfer(123456789, [0_1])) == [4]) logical, parameter :: test_vector_2 = all(shape(transfer(123456789, [0_1])) == [4])
logical, parameter :: test_array_1 = size(shape(transfer(123456789, reshape([0_1],[1,1])))) == 1 logical, parameter :: test_array_1 = size(shape(transfer(123456789, reshape([0_1],[1,1])))) == 1
logical, parameter :: test_array_2 = all(shape(transfer(123456789, reshape([0_1],[1,1]))) == [4]) logical, parameter :: test_array_2 = all(shape(transfer(123456789, reshape([0_1],[1,1]))) == [4])
logical, parameter :: test_array_3 = all(shape(transfer([1.,2.,3.], [(0.,0.)])) == [2]) logical, parameter :: test_array_3 = all(shape(transfer([1.,2.,3.], [(0.,0.)])) == [2])
end module end module

flang/test/Evaluate/folding11.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
module m module m
complex, parameter :: z1 = 1. + (2., 3.) complex, parameter :: z1 = 1. + (2., 3.)
logical, parameter :: test_z1 = z1 == (3., 3.) logical, parameter :: test_z1 = z1 == (3., 3.)
complex, parameter :: z2 = 1 + (2., 3.) complex, parameter :: z2 = 1 + (2., 3.)
logical, parameter :: test_z2 = z2 == (3., 3.) logical, parameter :: test_z2 = z2 == (3., 3.)
complex, parameter :: z3 = 2. * (3., 4.) complex, parameter :: z3 = 2. * (3., 4.)
logical, parameter :: test_z3 = z3 == (6., 8.) logical, parameter :: test_z3 = z3 == (6., 8.)
complex, parameter :: z4 = 2 * (3., 4.) complex, parameter :: z4 = 2 * (3., 4.)
Show All 22 Lines

flang/test/Evaluate/folding12.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test folding of structure constructors ! Test folding of structure constructors
module m1 module m1
type parent_type type parent_type
integer :: parent_field integer :: parent_field
end type parent_type end type parent_type
type, extends(parent_type) :: child_type type, extends(parent_type) :: child_type
integer :: child_field integer :: child_field
end type child_type end type child_type
▲ Show 20 Lines • Show All 154 Lines • Show Last 20 Lines

flang/test/Evaluate/folding13.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test folding of array constructors with constant implied DO bounds; ! Test folding of array constructors with constant implied DO bounds;
! their indices are constant expressions and can be used as such. ! their indices are constant expressions and can be used as such.
module m1 module m1
integer, parameter :: kinds(*) = [1, 2, 4, 8] integer, parameter :: kinds(*) = [1, 2, 4, 8]
integer(kind=8), parameter :: clipping(*) = [integer(kind=8) :: & integer(kind=8), parameter :: clipping(*) = [integer(kind=8) :: &
(int(z'100010101', kind=kinds(j)), j=1,4)] (int(z'100010101', kind=kinds(j)), j=1,4)]
integer(kind=8), parameter :: expected(*) = [ & integer(kind=8), parameter :: expected(*) = [ &
int(z'01',8), int(z'0101',8), int(z'00010101',8), int(z'100010101',8)] int(z'01',8), int(z'0101',8), int(z'00010101',8), int(z'100010101',8)]
logical, parameter :: test_clipping = all(clipping == expected) logical, parameter :: test_clipping = all(clipping == expected)
end module end module

flang/test/Evaluate/folding14.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test folding of isnan() extension ! Test folding of isnan() extension
module m1 module m1
logical, parameter :: results(*) = isnan([ & logical, parameter :: results(*) = isnan([ &
0., & 0., &
-0., & -0., &
!WARN: division by zero !WARN: division by zero
1./0., & 1./0., &
!WARN: invalid argument on division !WARN: invalid argument on division
Show All 9 Lines

flang/test/Evaluate/folding15.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test folding of array constructors with duplicate names for the implied ! Test folding of array constructors with duplicate names for the implied
! DO variables ! DO variables
module m1 module m1
integer, parameter :: expected(12) = [1, 2, 4, 6, 1, 2, 4, 6, 1, 2, 3, 6] integer, parameter :: expected(12) = [1, 2, 4, 6, 1, 2, 4, 6, 1, 2, 3, 6]
integer, parameter :: dups(12) = & integer, parameter :: dups(12) = &
[ ((iDuplicate, iDuplicate = 1,j), & [ ((iDuplicate, iDuplicate = 1,j), &
(2 * iDuplicate, iDuplicate = j,3 ), & (2 * iDuplicate, iDuplicate = j,3 ), &
j = 1,3 ) ] j = 1,3 ) ]
logical, parameter :: test_dups = all(dups == expected) logical, parameter :: test_dups = all(dups == expected)
end module end module

flang/test/Evaluate/folding16.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Ensure that lower bounds are accounted for in intrinsic folding; ! Ensure that lower bounds are accounted for in intrinsic folding;
! this is a regression test for a bug in which they were not ! this is a regression test for a bug in which they were not
module m module m
real, parameter :: a(-1:-1) = 1. real, parameter :: a(-1:-1) = 1.
real, parameter :: b(-1:-1) = log(a) real, parameter :: b(-1:-1) = log(a)
integer, parameter :: c(-1:1) = [33, 22, 11] integer, parameter :: c(-1:1) = [33, 22, 11]
integer, parameter :: d(1:3) = [33, 22, 11] integer, parameter :: d(1:3) = [33, 22, 11]
integer, parameter :: e(-2:0) = ([33, 22, 11]) integer, parameter :: e(-2:0) = ([33, 22, 11])
logical, parameter :: test_1 = lbound((a),1)==-1 .and. lbound(b,1)==-1 .and. & logical, parameter :: test_1 = lbound((a),1)==-1 .and. lbound(b,1)==-1 .and. &
lbound(log(a),1)==1 .and. all(b==0) lbound(log(a),1)==1 .and. all(b==0)
logical, parameter :: test_2 = all(c .eq. d) logical, parameter :: test_2 = all(c .eq. d)
logical, parameter :: test_3 = all(c .eq. e) logical, parameter :: test_3 = all(c .eq. e)
logical, parameter :: test_4 = all(d .eq. e) logical, parameter :: test_4 = all(d .eq. e)
end end

flang/test/Evaluate/folding17.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test implementations of STORAGE_SIZE() and SIZEOF() as expression rewrites ! Test implementations of STORAGE_SIZE() and SIZEOF() as expression rewrites
module m1 module m1
type :: t1 type :: t1
real :: a(2,3) real :: a(2,3)
character*5 :: c(3) character*5 :: c(3)
end type end type
type :: t2(k) type :: t2(k)
integer, kind :: k integer, kind :: k
Show All 14 Lines

flang/test/Evaluate/folding18.f90

! RUN: %S/test_folding.sh %s %t %f18 ! RUN: %S/test_folding.sh %s %t %flang_fc1
! Test implementations of IEEE inquiry functions ! Test implementations of IEEE inquiry functions
module m module m
use ieee_arithmetic use ieee_arithmetic
logical, parameter :: test_ieee_support_datatype = ieee_support_datatype() & logical, parameter :: test_ieee_support_datatype = ieee_support_datatype() &
.and. ieee_support_datatype(1.0_2) & .and. ieee_support_datatype(1.0_2) &
.and. ieee_support_datatype(1.0_3) & .and. ieee_support_datatype(1.0_3) &
.and. ieee_support_datatype(1.0_4) & .and. ieee_support_datatype(1.0_4) &
.and. ieee_support_datatype(1.0_8) & .and. ieee_support_datatype(1.0_8) &
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Evaluate/folding19.f90

! RUN: not %f18 %s 2>&1 | FileCheck %s ! RUN: not %flang_fc1 %s 2>&1 | FileCheck %s
! Check errors found in folding ! Check errors found in folding
! TODO: test others emitted from flang/lib/Evaluate ! TODO: test others emitted from flang/lib/Evaluate
module m module m
contains contains
subroutine s1(a,b) subroutine s1(a,b)
real :: a(*), b(:) real :: a(*), b(:)
!CHECK: error: DIM=1 dimension is out of range for rank-1 assumed-size array !CHECK: error: DIM=1 dimension is out of range for rank-1 assumed-size array
integer :: ub1(ubound(a,1)) integer :: ub1(ubound(a,1))
Show All 13 Lines

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

! RUN: %f18 -fsyntax-only -fdebug-pre-fir-tree %s | FileCheck %s ! RUN: %flang_fc1 -fsyntax-only -fdebug-pre-fir-tree %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/Parser/acc-unparse.f90

! RUN: %f18 -fopenacc -funparse %s | FileCheck %s ! RUN: %flang_fc1 -fopenacc -fdebug-unparse %s | FileCheck %s
! Test unparse does not crash with OpenACC directives. ! Test unparse does not crash with OpenACC directives.
! Test bug 47659 ! Test bug 47659
program bug47659 program bug47659
integer :: i, j integer :: i, j
label1: do i = 1, 10 label1: do i = 1, 10
!$acc parallel loop !$acc parallel loop
Show All 10 Lines

flang/test/Parser/badlabel.f

! RUN: %f18 -E %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -E %s 2>&1 | FileCheck %s
! CHECK: Label digit is not in fixed-form label field ! CHECK: Label digit is not in fixed-form label field
1 continue 1 continue
! CHECK: Label digit is not in fixed-form label field ! CHECK: Label digit is not in fixed-form label field
1 2 continue 1 2 continue
! CHECK-NOT: Label is not in fixed-form label field ! CHECK-NOT: Label is not in fixed-form label field
con con
3 tinue 3 tinue
! CHECK: Character in fixed-form label field must be a digit ! CHECK: Character in fixed-form label field must be a digit
end end
! CHECK: 1continue ! CHECK: 1continue
! CHECK: 12continue ! CHECK: 12continue
! CHECK: continue ! CHECK: continue
! CHECK: end ! CHECK: end

flang/test/Parser/compiler-directives.f90

! RUN: %f18 -funparse %s 2>&1 ! RUN: %flang_fc1 -fdebug-unparse %s 2>&1
! Test that compiler directives can appear in various places. ! Test that compiler directives can appear in various places.
!dir$ integer !dir$ integer
module m module m
!dir$ integer !dir$ integer
use iso_fortran_env use iso_fortran_env
!dir$ integer !dir$ integer
implicit integer(a-z) implicit integer(a-z)
!dir$ integer !dir$ integer
!dir$ integer=64 !dir$ integer=64
!dir$ integer = 64 !dir$ integer = 64
!dir$ optimize:1 !dir$ optimize:1
!dir$ optimize : 1 !dir$ optimize : 1
end end

flang/test/Semantics/OpenACC/acc-symbols01.f90

! RUN: %S/../test_symbols.sh %s %t %f18 -fopenacc ! RUN: %S/../test_symbols.sh %s %t %flang_fc1 -fopenacc
!DEF: /mm MainProgram !DEF: /mm MainProgram
program mm program mm
!DEF: /mm/x ObjectEntity REAL(4) !DEF: /mm/x ObjectEntity REAL(4)
!DEF: /mm/y ObjectEntity REAL(4) !DEF: /mm/y ObjectEntity REAL(4)
real x, y real x, y
!DEF: /mm/a ObjectEntity INTEGER(4) !DEF: /mm/a ObjectEntity INTEGER(4)
!DEF: /mm/b ObjectEntity INTEGER(4) !DEF: /mm/b ObjectEntity INTEGER(4)
Show All 17 Lines

flang/test/Semantics/allocate01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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, c2) subroutine C941_C942b_C950(xsrc, x1, a2, b2, cx1, ca2, cb1, cb2, c1, c2)
! 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 113 Lines • Show Last 20 Lines

flang/test/Semantics/allocate13.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/altreturn06.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test alternat return argument passing for internal and external subprograms ! Test alternat return argument passing for internal and external subprograms
! Both of the following are OK ! Both of the following are OK
call extSubprogram (*100) call extSubprogram (*100)
call intSubprogram (*100) call intSubprogram (*100)
call extSubprogram (*101) call extSubprogram (*101)
call intSubprogram (*101) call intSubprogram (*101)
100 PRINT *,'First alternate return' 100 PRINT *,'First alternate return'
!ERROR: Label '101' is not a branch target !ERROR: Label '101' is not a branch target
!ERROR: Label '101' is not a branch target !ERROR: Label '101' is not a branch target
101 FORMAT("abc") 101 FORMAT("abc")
contains contains
subroutine intSubprogram(*) subroutine intSubprogram(*)
return(1) return(1)
end subroutine end subroutine
end end

flang/test/Semantics/array-constr-values.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Confirm enforcement of constraints and restrictions in 7.8 ! Confirm enforcement of constraints and restrictions in 7.8
! C7110, C7111, C7112, C7113, C7114, C7115 ! C7110, C7111, C7112, C7113, C7114, C7115
subroutine arrayconstructorvalues() subroutine arrayconstructorvalues()
integer :: intarray(5) integer :: intarray(5)
integer(KIND=8) :: k8 = 20 integer(KIND=8) :: k8 = 20
TYPE EMPLOYEE TYPE EMPLOYEE
▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines

flang/test/Semantics/assign01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 134 Lines • Show Last 20 Lines

flang/test/Semantics/assign06.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/associated.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests for the ASSOCIATED() and NULL() intrinsics ! Tests for the ASSOCIATED() and NULL() intrinsics
subroutine assoc() subroutine assoc()
abstract interface abstract interface
subroutine subrInt(i) subroutine subrInt(i)
integer :: i integer :: i
end subroutine subrInt end subroutine subrInt
▲ Show 20 Lines • Show All 143 Lines • Show Last 20 Lines

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

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 72 Lines • Show Last 20 Lines

flang/test/Semantics/badly-typed-intrinsic.f90

! RUN: %f18 -fsyntax-only %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -fsyntax-only %s 2>&1 | FileCheck %s
type :: t type :: t
end type end type
integer :: acos integer :: acos
double precision :: cos double precision :: cos
!CHECK: Explicit type declaration ignored for intrinsic function 'int' !CHECK: Explicit type declaration ignored for intrinsic function 'int'
complex :: int complex :: int
character :: sin character :: sin
Show All 20 Lines

flang/test/Semantics/bind-c01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Check for multiple symbols being defined with with same BIND(C) name ! Check for multiple symbols being defined with with same BIND(C) name
module m1 module m1
integer, bind(c, name="x1") :: x1 integer, bind(c, name="x1") :: x1
!ERROR: Two symbols have the same BIND(C) name 'x1' !ERROR: Two symbols have the same BIND(C) name 'x1'
integer, bind(c, name=" x1 ") :: x2 integer, bind(c, name=" x1 ") :: x2
contains contains
!ERROR: Two symbols have the same BIND(C) name 'x3' !ERROR: Two symbols have the same BIND(C) name 'x3'
Show All 16 Lines

flang/test/Semantics/bindings01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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, C782, C783, C784, and C785. ! and C733, C734 and C779, C780, 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 213 Lines • Show Last 20 Lines

flang/test/Semantics/block-data01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 25 Lines

flang/test/Semantics/blockconstruct01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/boz-literal-constants.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Confirm enforcement of constraints and restrictions in 7.7 ! Confirm enforcement of constraints and restrictions in 7.7
! C7107, C7108, C7109 ! C7107, C7108, C7109
subroutine bozchecks subroutine bozchecks
! Type declaration statements ! Type declaration statements
integer :: f, realpart = B"0101", img = B"1111", resint integer :: f, realpart = B"0101", img = B"1111", resint
logical :: resbit logical :: resbit
complex :: rescmplx complex :: rescmplx
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

flang/test/Semantics/c_f_pointer.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 86 Lines • Show Last 20 Lines

flang/test/Semantics/call03.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 307 Lines • Show Last 20 Lines

flang/test/Semantics/call04.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test 15.5.2.9(2,3,5) dummy procedure requirements ! Test 15.5.2.9(2,3,5) dummy procedure requirements
! C843 ! C843
! An entity with the INTENT attribute shall be a dummy data object or a ! An entity with the INTENT attribute shall be a dummy data object or a
! dummy procedure pointer. ! dummy procedure pointer.
module m module m
contains contains
▲ Show 20 Lines • Show All 180 Lines • Show Last 20 Lines

flang/test/Semantics/call10.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 88 Lines • Show Last 20 Lines

flang/test/Semantics/call12.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/call16.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test that intrinsic functions used as subroutines and vice versa are caught. ! Test that intrinsic functions used as subroutines and vice versa are caught.
subroutine test(x, t) subroutine test(x, t)
intrinsic :: sin, cpu_time intrinsic :: sin, cpu_time
!ERROR: Cannot use intrinsic function 'sin' as a subroutine !ERROR: Cannot use intrinsic function 'sin' as a subroutine
call sin(x) call sin(x)
!ERROR: Cannot use intrinsic subroutine 'cpu_time' as a function !ERROR: Cannot use intrinsic subroutine 'cpu_time' as a function
x = cpu_time(t) x = cpu_time(t)
end subroutine end subroutine

flang/test/Semantics/call17.f90

! RUN: %f18 -fsyntax-only %s 2>&1 | FileCheck %s --allow-empty ! RUN: %flang_fc1 -fsyntax-only %s 2>&1 | FileCheck %s --allow-empty
! Regression test: don't emit a bogus error about an invalid specification expression ! Regression test: don't emit a bogus error about an invalid specification expression
! in the declaration of a binding ! in the declaration of a binding
module m module m
type :: t type :: t
integer :: n integer :: n
contains contains
Show All 10 Lines

flang/test/Semantics/call18.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Ensure that references to functions that return pointers can serve as ! Ensure that references to functions that return pointers can serve as
! "variables" in actual arguments. All of these uses are conforming and ! "variables" in actual arguments. All of these uses are conforming and
! no errors should be reported. ! no errors should be reported.
module m module m
integer, target :: x = 1 integer, target :: x = 1
contains contains
function get() result(p) function get() result(p)
integer, pointer :: p integer, pointer :: p
Show All 17 Lines

flang/test/Semantics/canondo05.f90

! RUN: %flang_fc1 -fdebug-unparse-with-symbols %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -fdebug-unparse-with-symbols %s 2>&1 | FileCheck %s
! RUN: %f18 -fopenmp -funparse-with-symbols %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -fopenmp -fdebug-unparse-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
integer N, CSZ, CNUM, I integer N, CSZ, CNUM, I
parameter (N=100) parameter (N=100)
Show All 30 Lines

flang/test/Semantics/canondo06.f90

! RUN: %f18 -fopenmp -funparse-with-symbols %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -fopenmp -fdebug-unparse-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)
real A(N), B(N), C(N) real A(N), B(N), C(N)
Show All 16 Lines

flang/test/Semantics/case01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 170 Lines • Show Last 20 Lines

flang/test/Semantics/coarrays01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 with options; $temp to an empty temp directory; # Set: $FLANG_FC1 to the path to the Flang frontend driver with options; $temp
# and $src to the full path of the single source argument. # to an empty temp directory; and $src to the full path of the single source
# argument.
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> <temp test dir> <f18-command>" 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
shift shift
temp=$1 temp=$1
mkdir -p $temp mkdir -p $temp
shift shift
[[ ! -f $1 ]] && die "f18 executable not found: $1" [[ ! -f $1 ]] && die "f18 executable not found: $1"
F18="$*" FLANG_FC1="$*"

flang/test/Semantics/complex01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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/data01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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) integer ::notConstDigits(5)
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Semantics/data02.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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 81 Lines • Show Last 20 Lines

flang/test/Semantics/data04.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!Testing data constraints : C876, C877 !Testing data constraints : C876, C877
module m module m
integer :: first integer :: first
contains contains
subroutine h subroutine h
integer a,b integer a,b
!C876 !C876
!ERROR: Host-associated object 'first' must not be initialized in a DATA statement !ERROR: Host-associated object 'first' must not be initialized in a DATA statement
▲ Show 20 Lines • Show All 146 Lines • Show Last 20 Lines

flang/test/Semantics/data06.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! DATA statement errors ! DATA statement errors
subroutine s1 subroutine s1
type :: t1 type :: t1
integer :: j = 666 integer :: j = 666
end type t1 end type t1
type(t1) :: t1x type(t1) :: t1x
!ERROR: Default-initialized 't1x' must not be initialized in a DATA statement !ERROR: Default-initialized 't1x' must not be initialized in a DATA statement
data t1x%j / 777 / data t1x%j / 777 /
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

flang/test/Semantics/data07.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m module m
contains contains
subroutine s1 subroutine s1
!ERROR: DATA statement initializations affect 'jb(5_8)' more than once !ERROR: DATA statement initializations affect 'jb(5_8)' more than once
integer :: ja(10), jb(10) integer :: ja(10), jb(10)
data (ja(k),k=1,9,2) / 5*1 / ! ok data (ja(k),k=1,9,2) / 5*1 / ! ok
data (ja(k),k=10,2,-2) / 5*2 / ! ok data (ja(k),k=10,2,-2) / 5*2 / ! ok
data (jb(k),k=1,9,2) / 5*1 / ! ok data (jb(k),k=1,9,2) / 5*1 / ! ok
data (jb(k),k=2,10,3) / 3*2 / ! conflict at 5 data (jb(k),k=2,10,3) / 3*2 / ! conflict at 5
end subroutine end subroutine
end module end module

flang/test/Semantics/data10.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
type :: t type :: t
integer :: n integer :: n
end type end type
type(t) :: x type(t) :: x
real, target, save :: a(1) real, target, save :: a(1)
real, parameter :: arrparm(1) = [3.14159] real, parameter :: arrparm(1) = [3.14159]
real, pointer :: p real, pointer :: p
real :: y real :: y
data x/t(1)/ data x/t(1)/
data p/a(1)/ data p/a(1)/
!ERROR: DATA statement value initializes 'y' with an array !ERROR: DATA statement value initializes 'y' with an array
data y/arrparm/ data y/arrparm/
end end

flang/test/Semantics/deallocate01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 60 Lines • Show Last 20 Lines

flang/test/Semantics/deallocate06.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test deallocate of use- and host-associated variables ! Test deallocate of use- and host-associated variables
module m1 module m1
real, pointer :: a(:) real, pointer :: a(:)
real, allocatable :: b(:) real, allocatable :: b(:)
end end
subroutine s1() subroutine s1()
Show All 16 Lines

flang/test/Semantics/doconcurrent01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 225 Lines • Show Last 20 Lines

flang/test/Semantics/doconcurrent05.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/doconcurrent08.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/dosemantics04.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/empty.f90

! RUN: %f18 -fsyntax-only %s ! RUN: %flang_fc1 -fsyntax-only %s
! RUN: rm -rf %t && mkdir %t ! RUN: rm -rf %t && mkdir %t
! RUN: touch %t/empty.f90 ! RUN: touch %t/empty.f90
! RUN: %f18 -fsyntax-only %t/empty.f90 ! RUN: %flang_fc1 -fsyntax-only %t/empty.f90

flang/test/Semantics/entry01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 176 Lines • Show Last 20 Lines

flang/test/Semantics/equivalence01.f90

!RUN: %S/test_errors.sh %s %t %f18 !RUN: %S/test_errors.sh %s %t %flang_fc1
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 207 Lines • Show Last 20 Lines

flang/test/Semantics/expr-errors01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/expr-errors03.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Regression test for subscript error recovery ! Regression test for subscript error recovery
module m module m
implicit none implicit none
integer, parameter :: n = 3 integer, parameter :: n = 3
integer, parameter :: pc(n) = [0, 5, 6] integer, parameter :: pc(n) = [0, 5, 6]
contains contains
logical function f(u) logical function f(u)
integer :: u integer :: u
Show All 11 Lines

flang/test/Semantics/final01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test FINAL subroutine constraints C786-C789 ! Test FINAL subroutine constraints C786-C789
module m1 module m1
external :: external external :: external
intrinsic :: sin intrinsic :: sin
real :: object real :: object
procedure(valid), pointer :: pointer procedure(valid), pointer :: pointer
type :: parent(kind1, len1) type :: parent(kind1, len1)
integer, kind :: kind1 = 1 integer, kind :: kind1 = 1
▲ Show 20 Lines • Show All 110 Lines • Show Last 20 Lines

flang/test/Semantics/final02.f90

!RUN: %f18 -fsyntax-only %s 2>&1 | FileCheck %s !RUN: %flang_fc1 -fsyntax-only %s 2>&1 | FileCheck %s
module m module m
type :: t1 type :: t1
integer :: n integer :: n
contains contains
final :: t1f0, t1f1 final :: t1f0, t1f1
end type end type
type :: t2 type :: t2
integer :: n integer :: n
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

flang/test/Semantics/forall01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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/if_arith01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
implicit none(external) implicit none(external)
external x external x
integer :: f, i integer :: f, i
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
!ERROR: 'f' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL) !ERROR: 'f' is an external procedure without the EXTERNAL attribute in a scope with IMPLICIT NONE(EXTERNAL)
i = f() i = f()
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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/implicit09.f90

! RUN: %S/test_errors.sh %s %t %f18 -fimplicit-none-type-never ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fimplicit-none-type-never
subroutine s1 subroutine s1
implicit none implicit none
i = j + k ! would be error without -fimplicit-none-type-never i = j + k ! would be error without -fimplicit-none-type-never
end end
subroutine s2(a, n) subroutine s2(a, n)
implicit none implicit none
real :: a(n) ! would be error without -fimplicit-none-type-never real :: a(n) ! would be error without -fimplicit-none-type-never
integer :: n integer :: n
end end

flang/test/Semantics/implicit10.f90

! RUN: %S/test_errors.sh %s %t %f18 -fimplicit-none-type-always ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fimplicit-none
!ERROR: No explicit type declared for 'f' !ERROR: No explicit type declared for 'f'
function f() function f()
!ERROR: No explicit type declared for 'x' !ERROR: No explicit type declared for 'x'
f = x f = x
end end

flang/test/Semantics/implicit11.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test use of implicitly declared variable in specification expression ! Test use of implicitly declared variable in specification expression
subroutine s1() subroutine s1()
m = 1 m = 1
contains contains
subroutine s1a() subroutine s1a()
implicit none implicit none
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

flang/test/Semantics/init01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Initializer error tests ! Initializer error tests
subroutine objectpointers(j) subroutine objectpointers(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 20 Lines • Show All 87 Lines • Show Last 20 Lines

flang/test/Semantics/int-literals.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 128 Lines • Show Last 20 Lines

flang/test/Semantics/io02.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
integer :: unit10 = 10 integer :: unit10 = 10
integer :: unit11 = 11 integer :: unit11 = 11
integer, parameter :: const_stat = 6666 integer, parameter :: const_stat = 6666
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 27 Lines

flang/test/Semantics/io03.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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=50) internal_fileA(20) character(kind=1,len=50) internal_fileA(20)
character(kind=1,len=111) msg character(kind=1,len=111) msg
character(20) advance character(20) advance
character(20) :: cvar; character(20) :: cvar;
character, parameter :: const_internal_file = "(I6)" character, parameter :: const_internal_file = "(I6)"
▲ Show 20 Lines • Show All 174 Lines • Show Last 20 Lines

flang/test/Semantics/io04.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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
character, parameter :: const_internal_file = "(I6)" character, parameter :: const_internal_file = "(I6)"
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
▲ Show 20 Lines • Show All 131 Lines • Show Last 20 Lines

flang/test/Semantics/io05.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
character*20 c(25), cv character*20 c(25), cv
character(kind=1,len=59) msg character(kind=1,len=59) msg
character, parameter :: const_round = "c'est quoi?" character, parameter :: const_round = "c'est quoi?"
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
integer, parameter :: const_id = 1 integer, parameter :: const_id = 1
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

flang/test/Semantics/io06.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
character(kind=1,len=100) msg1 character(kind=1,len=100) msg1
character(kind=2,len=200) msg2 character(kind=2,len=200) msg2
character, parameter :: const_msg = 'doof' character, parameter :: const_msg = 'doof'
integer(1) stat1 integer(1) stat1
integer(2) stat2 integer(2) stat2
integer(8) stat8 integer(8) stat8
open(10) open(10)
Show All 40 Lines

flang/test/Semantics/io07.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 73 Lines • Show Last 20 Lines

flang/test/Semantics/io08.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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/kinds01.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 82 Lines • Show Last 20 Lines

flang/test/Semantics/kinds03.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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(int(k,kind=4),kind=8)) !DEF: /MainProgram1/ipdt/x ObjectEntity INTEGER(int(int(k,kind=4),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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/label11.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! C739 If END TYPE is followed by a type-name, the type-name shall be the ! C739 If END TYPE is followed by a type-name, the type-name shall be the
! same as that in the corresponding derived-type-stmt. ! same as that in the corresponding derived-type-stmt.
! C1401 The program-name shall not be included in the end-program-stmt unless ! C1401 The program-name shall not be included in the end-program-stmt unless
! the optional program-stmt is used. If included, it shall be identical to the ! the optional program-stmt is used. If included, it shall be identical to the
! program-name specified in the program-stmt. ! program-name specified in the program-stmt.
! C1402 If the module-name is specified in the end-module-stmt, it shall be ! C1402 If the module-name is specified in the end-module-stmt, it shall be
! identical to the module-name specified in the module-stmt. ! identical to the module-name specified in the module-stmt.
! C1413 If a submodule-name appears in the end-submodule-stmt, it shall be ! C1413 If a submodule-name appears in the end-submodule-stmt, it shall be
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

flang/test/Semantics/label16.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
subroutine x(n) subroutine x(n)
call x1(n) call x1(n)
if (n == 0) goto 88 if (n == 0) goto 88
print*, 'x' print*, 'x'
contains contains
subroutine x1(n) subroutine x1(n)
if (n == 0) goto 77 ! ok if (n == 0) goto 77 ! ok
print*, 'x1' print*, 'x1'
!ERROR: Label '88' was not found !ERROR: Label '88' was not found
goto 88 goto 88
77 end subroutine x1 77 end subroutine x1
88 end 88 end

flang/test/Semantics/misc-declarations.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/missing_newline.f90

! RUN: echo -n "end program" > %t.f90 ! RUN: echo -n "end program" > %t.f90
! RUN: %f18 -fsyntax-only %t.f90 ! RUN: %flang_fc1 -fsyntax-only %t.f90
! RUN: echo -ne "\rend program" > %t.f90 ! RUN: echo -ne "\rend program" > %t.f90
! RUN: %f18 -fsyntax-only %t.f90 ! RUN: %flang_fc1 -fsyntax-only %t.f90

flang/test/Semantics/modfile01.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 169 Lines • Show Last 20 Lines

flang/test/Semantics/modfile04.f90

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

flang/test/Semantics/modfile05.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 617 Lines • Show Last 20 Lines

flang/test/Semantics/modfile08.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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-*' %t %f18 !RUN: %S/test_modfile.sh '%S/Inputs/modfile09-*' %t %flang_fc1

flang/test/Semantics/modfile10.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 120 Lines • Show Last 20 Lines

flang/test/Semantics/modfile11.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 48 Lines • Show Last 20 Lines

flang/test/Semantics/modfile26.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 76 Lines • Show Last 20 Lines

flang/test/Semantics/modfile31.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 -flogical-abbreviations -fxor-operator ! RUN: %S/test_modfile.sh %s %t %flang_fc1 -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.
! Numeric operators ! Numeric operators
module m1 module m1
type :: t type :: t
▲ Show 20 Lines • Show All 635 Lines • Show Last 20 Lines

flang/test/Semantics/modfile34.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
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/modfile36.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! Check modfile that contains import of use-assocation of another use-association. ! Check modfile that contains import of use-assocation of another use-association.
module m1 module m1
interface interface
subroutine s(x) subroutine s(x)
use, intrinsic :: iso_c_binding, only: c_ptr use, intrinsic :: iso_c_binding, only: c_ptr
type(c_ptr) :: x type(c_ptr) :: x
Show All 32 Lines

flang/test/Semantics/modfile37.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! Ensure that a dummy procedure's interface's imports ! Ensure that a dummy procedure's interface's imports
! appear in the module file. ! appear in the module file.
module m module m
type :: t type :: t
end type end type
contains contains
Show All 23 Lines

flang/test/Semantics/modfile38.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! Ensure that an interface with the same name as a derived type ! Ensure that an interface with the same name as a derived type
! does not cause that shadowed name to be emitted later than its ! does not cause that shadowed name to be emitted later than its
! uses in the module file. ! uses in the module file.
module m module m
type :: t type :: t
end type end type
Show All 26 Lines

flang/test/Semantics/modfile39.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! Resolution of specification expression references to generic interfaces ! Resolution of specification expression references to generic interfaces
! that resolve to private specific functions. ! that resolve to private specific functions.
module m1 module m1
interface gen interface gen
module procedure priv module procedure priv
end interface end interface
private :: priv private :: priv
Show All 39 Lines

flang/test/Semantics/modfile40.f90

! RUN: %S/test_modfile.sh %s %t %f18 ! RUN: %S/test_modfile.sh %s %t %flang_fc1
! Ensure that intrinsics in module files retain their 'private' attribute, ! Ensure that intrinsics in module files retain their 'private' attribute,
! if they are private. ! if they are private.
module m1 module m1
intrinsic :: selected_real_kind intrinsic :: selected_real_kind
public :: selected_real_kind public :: selected_real_kind
end module end module
!Expect: m1.mod !Expect: m1.mod
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

flang/test/Semantics/modifiable01.f90

! RUN: not %f18 -fsyntax-only %s 2>&1 | FileCheck %s ! RUN: not %flang_fc1 -fsyntax-only %s 2>&1 | FileCheck %s
! Test WhyNotModifiable() explanations ! Test WhyNotModifiable() explanations
module prot module prot
real, protected :: prot real, protected :: prot
type :: ptype type :: ptype
real, pointer :: ptr real, pointer :: ptr
real :: x real :: x
end type end type
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

flang/test/Semantics/namelist01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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/null-init.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests valid and invalid NULL initializers ! Tests valid and invalid NULL initializers
module m1 module m1
implicit none implicit none
!ERROR: No explicit type declared for 'null' !ERROR: No explicit type declared for 'null'
private :: null private :: null
end module end module
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

flang/test/Semantics/null01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 40 Lines

flang/test/Semantics/num_images.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Check for semantic errors in num_images() function calls ! Check for semantic errors in num_images() function calls
subroutine test subroutine test
! correct calls, should produce no errors ! correct calls, should produce no errors
print *, num_images() print *, num_images()
print *, num_images(team_number=1) print *, num_images(team_number=1)
print *, num_images(1) print *, num_images(1)
Show All 21 Lines

flang/test/Semantics/oldparam01.f90

! RUN: %f18 -falternative-parameter-statement -fdebug-dump-symbols %s 2>&1 | FileCheck %s ! RUN: %flang_fc1 -falternative-parameter-statement -fdebug-dump-symbols %s 2>&1 | FileCheck %s
! Non-error tests for "old style" PARAMETER statements ! Non-error tests for "old style" PARAMETER statements
type :: t type :: t
integer(kind=4) :: n integer(kind=4) :: n
end type end type
!CHECK: x1, PARAMETER size=4 offset=0: ObjectEntity type: INTEGER(4) init:1_4 !CHECK: x1, PARAMETER size=4 offset=0: ObjectEntity type: INTEGER(4) init:1_4
parameter x1 = 1_4 ! integer scalar parameter x1 = 1_4 ! integer scalar
Show All 16 Lines

flang/test/Semantics/oldparam03.f90

! RUN: not %f18 -fsyntax-only %s 2>&1 | FileCheck %s ! RUN: not %flang_fc1 -fsyntax-only %s 2>&1 | FileCheck %s
! Ensure that old-style PARAMETER statements are disabled by default. ! Ensure that old-style PARAMETER statements are disabled by default.
!CHECK: error: expected '(' !CHECK: error: expected '('
parameter x = 666 parameter x = 666
end end

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

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! Check OpenMP Allocate directive ! Check OpenMP Allocate directive
use omp_lib use omp_lib
! 2.11.3 declarative allocate ! 2.11.3 declarative allocate
! 2.11.3 executable allocate ! 2.11.3 executable allocate
real, dimension (:,:), allocatable :: darray real, dimension (:,:), allocatable :: darray
integer :: a, b, x, y, m, n, t, z integer :: a, b, x, y, m, n, t, z
Show All 16 Lines

flang/test/Semantics/omp-atomic01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! Semantic checks for OpenMP 5.0 standard 2.17.7 atomic Construct. ! Semantic checks for OpenMP 5.0 standard 2.17.7 atomic Construct.
use omp_lib use omp_lib
implicit none implicit none
integer :: i, j = 10, k=-100, a integer :: i, j = 10, k=-100, a
! 2.17.7.1 ! 2.17.7.1
! Handled inside parser. ! Handled inside parser.
! OpenMP constructs may not be encountered during execution of an atomic region ! OpenMP constructs may not be encountered during execution of an atomic region
▲ Show 20 Lines • Show All 325 Lines • Show Last 20 Lines

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

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
use omp_lib use omp_lib
! 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 558 Lines • Show Last 20 Lines

flang/test/Semantics/omp-copyprivate01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.4.2 copyprivate Clause ! 2.15.4.2 copyprivate Clause
! A list item that appears in a copyprivate clause may not appear in a ! A list item that appears in a copyprivate clause may not appear in a
! private or firstprivate clause on the single construct. ! private or firstprivate clause on the single construct.
program omp_copyprivate program omp_copyprivate
integer :: a(10), b(10), k integer :: a(10), b(10), k
Show All 18 Lines

flang/test/Semantics/omp-copyprivate02.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.4.2 copyprivate Clause ! 2.15.4.2 copyprivate Clause
! Pointers with the INTENT(IN) attribute may not appear in a copyprivate clause. ! Pointers with the INTENT(IN) attribute may not appear in a copyprivate clause.
subroutine omp_copyprivate(p) subroutine omp_copyprivate(p)
integer :: a(10), b(10), c(10) integer :: a(10), b(10), c(10)
integer, pointer, intent(in) :: p integer, pointer, intent(in) :: p
Show All 14 Lines

flang/test/Semantics/omp-copyprivate03.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.4.2 copyprivate Clause ! 2.15.4.2 copyprivate Clause
! All list items that appear in the copyprivate clause must be either ! All list items that appear in the copyprivate clause must be either
! threadprivate or private in the enclosing context. ! threadprivate or private in the enclosing context.
program omp_copyprivate program omp_copyprivate
integer :: a(10), b(10) integer :: a(10), b(10)
integer, save :: k integer, save :: k
Show All 30 Lines

flang/test/Semantics/omp-do-schedule03.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Schedule Clause ! 2.7.1 Schedule Clause
! Test that does not catch non constant integer expressions like xx - xx. ! Test that does not catch non constant integer expressions like xx - xx.
!DEF: /ompdoschedule MainProgram !DEF: /ompdoschedule MainProgram
program ompdoschedule program ompdoschedule
!DEF: /ompdoschedule/a ObjectEntity REAL(4) !DEF: /ompdoschedule/a ObjectEntity REAL(4)
!DEF: /ompdoschedule/y ObjectEntity REAL(4) !DEF: /ompdoschedule/y ObjectEntity REAL(4)
!DEF: /ompdoschedule/z ObjectEntity REAL(4) !DEF: /ompdoschedule/z ObjectEntity REAL(4)
Show All 19 Lines

flang/test/Semantics/omp-do-schedule04.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Schedule Clause ! 2.7.1 Schedule Clause
! Test that does not catch non constant integer expressions like xx - yy. ! Test that does not catch non constant integer expressions like xx - yy.
!DEF: /tds (Subroutine) Subprogram !DEF: /tds (Subroutine) Subprogram
subroutine tds subroutine tds
implicit none implicit none
!DEF: /tds/a ObjectEntity REAL(4) !DEF: /tds/a ObjectEntity REAL(4)
Show All 23 Lines

flang/test/Semantics/omp-do01-positivecase.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
! The loop iteration variable may not appear in a firstprivate directive. ! The loop iteration variable may not appear in a firstprivate directive.
! A positive case ! A positive case
!DEF: /omp_do MainProgram !DEF: /omp_do MainProgram
program omp_do program omp_do
!DEF: /omp_do/i ObjectEntity INTEGER(4) !DEF: /omp_do/i ObjectEntity INTEGER(4)
Show All 10 Lines

flang/test/Semantics/omp-do04-positivecase.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Do Loop Constructs ! 2.7.1 Do Loop Constructs
!DEF: /omp_do1 MainProgram !DEF: /omp_do1 MainProgram
program omp_do1 program omp_do1
!DEF: /omp_do1/i ObjectEntity INTEGER(4) !DEF: /omp_do1/i ObjectEntity INTEGER(4)
!DEF: /omp_do1/j ObjectEntity INTEGER(4) !DEF: /omp_do1/j ObjectEntity INTEGER(4)
!DEF: /omp_do1/k (OmpThreadprivate) ObjectEntity INTEGER(4) !DEF: /omp_do1/k (OmpThreadprivate) ObjectEntity INTEGER(4)
Show All 13 Lines

flang/test/Semantics/omp-do04.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
! The loop iteration variable may not appear in a threadprivate directive. ! The loop iteration variable may not appear in a threadprivate directive.
program omp_do program omp_do
integer, save:: i, j, k,n integer, save:: i, j, k,n
!$omp threadprivate(k,j,i) !$omp threadprivate(k,j,i)
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do05-positivecase.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct restrictions on single directive. ! 2.7.1 Loop Construct restrictions on single directive.
! A positive case ! A positive case
!DEF: /omp_do MainProgram !DEF: /omp_do MainProgram
program omp_do program omp_do
!DEF: /omp_do/i ObjectEntity INTEGER(4) !DEF: /omp_do/i ObjectEntity INTEGER(4)
!DEF: /omp_do/n ObjectEntity INTEGER(4) !DEF: /omp_do/n ObjectEntity INTEGER(4)
Show All 27 Lines

flang/test/Semantics/omp-do06-positivecases.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
! The ordered clause must be present on the loop construct if any ordered ! The ordered clause must be present on the loop construct if any ordered
! region ever binds to a loop region arising from the loop construct. ! region ever binds to a loop region arising from the loop construct.
! A positive case ! A positive case
!DEF: /omp_do MainProgram !DEF: /omp_do MainProgram
program omp_do program omp_do
Show All 14 Lines

flang/test/Semantics/omp-do09.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
! The do-loop cannot be a DO WHILE or a DO loop without loop control. ! The do-loop cannot be a DO WHILE or a DO loop without loop control.
program omp_do program omp_do
integer :: i = 0,k integer :: i = 0,k
!$omp do !$omp do
!ERROR: The DO loop cannot be a DO WHILE with DO directive. !ERROR: The DO loop cannot be a DO WHILE with DO directive.
Show All 17 Lines

flang/test/Semantics/omp-do10.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
! The DO loop iteration variable must be of type integer. ! The DO loop iteration variable must be of type integer.
program omp_do program omp_do
real i, j, k real i, j, k
!$omp do !$omp do
!ERROR: The DO loop iteration variable must be of the type integer. !ERROR: The DO loop iteration variable must be of the type integer.
Show All 30 Lines

flang/test/Semantics/omp-do11.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Do Loop Constructs ! 2.7.1 Do Loop Constructs
!DEF: /omp_do MainProgram !DEF: /omp_do MainProgram
program omp_do program omp_do
!DEF: /omp_do/i ObjectEntity INTEGER(4) !DEF: /omp_do/i ObjectEntity INTEGER(4)
!DEF: /omp_do/j ObjectEntity INTEGER(4) !DEF: /omp_do/j ObjectEntity INTEGER(4)
!DEF: /omp_do/k ObjectEntity INTEGER(4) !DEF: /omp_do/k ObjectEntity INTEGER(4)
Show All 27 Lines

flang/test/Semantics/omp-do12.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Do Loop constructs. ! 2.7.1 Do Loop constructs.
!DEF: /omp_cycle MainProgram !DEF: /omp_cycle MainProgram
program omp_cycle program omp_cycle
!$omp do collapse(1) !$omp do collapse(1)
!DEF: /omp_cycle/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4) !DEF: /omp_cycle/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4)
do i=0,10 do i=0,10
▲ Show 20 Lines • Show All 87 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do13.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
program omp program omp
integer i, j, k integer i, j, k
!ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct. !ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct.
!$omp do collapse(3) !$omp do collapse(3)
▲ Show 20 Lines • Show All 176 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do14.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Do Loop constructs. ! 2.7.1 Do Loop constructs.
!DEF: /omp_cycle MainProgram !DEF: /omp_cycle MainProgram
program omp_cycle program omp_cycle
!$omp do collapse(1) !$omp do collapse(1)
!DEF: /omp_cycle/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4) !DEF: /omp_cycle/Block1/i (OmpPrivate, OmpPreDetermined) HostAssoc INTEGER(4)
do i=0,10 do i=0,10
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do15.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
program omp program omp
integer i, j, k integer i, j, k
!ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct. !ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct.
!$omp do collapse(3) !$omp do collapse(3)
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do16.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Loop Construct ! 2.7.1 Loop Construct
program omp program omp
integer i, j, k integer i, j, k
!ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct. !ERROR: The value of the parameter in the COLLAPSE or ORDERED clause must not be larger than the number of nested loops following the construct.
!$omp do collapse(3) !$omp do collapse(3)
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

flang/test/Semantics/omp-do17.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.1 Do Loop constructs. ! 2.7.1 Do Loop constructs.
!DEF: /test MainProgram !DEF: /test MainProgram
program test program test
!DEF: /test/i ObjectEntity INTEGER(4) !DEF: /test/i ObjectEntity INTEGER(4)
!DEF: /test/j ObjectEntity INTEGER(4) !DEF: /test/j ObjectEntity INTEGER(4)
!DEF: /test/k ObjectEntity INTEGER(4) !DEF: /test/k ObjectEntity INTEGER(4)
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

flang/test/Semantics/omp-firstprivate01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.4 firstprivate Clause ! 2.15.3.4 firstprivate Clause
! Variables that appear in a firstprivate clause on a distribute or ! Variables that appear in a firstprivate clause on a distribute or
! worksharing constructs must not appear in the private or ! worksharing constructs must not appear in the private or
! reduction clause in a teams or parallel constructs in the outer context ! reduction clause in a teams or parallel constructs in the outer context
program omp_firstprivate program omp_firstprivate
integer :: i, a(10), b(10), c(10) integer :: i, a(10), b(10), c(10)
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

flang/test/Semantics/omp-flush02.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! Check OpenMP 5.0 - 2.17.8 flush Construct ! Check OpenMP 5.0 - 2.17.8 flush Construct
! Restriction - ! Restriction -
! If memory-order-clause is release, acquire, or acq_rel, list items must not be specified on the flush directive. ! If memory-order-clause is release, acquire, or acq_rel, list items must not be specified on the flush directive.
use omp_lib use omp_lib
implicit none implicit none
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

flang/test/Semantics/omp-lastprivate01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.5 lastprivate Clause ! 2.15.3.5 lastprivate Clause
! A variable that appears in a lastprivate clause must be definable. ! A variable that appears in a lastprivate clause must be definable.
module protected_var module protected_var
integer, protected :: p integer, protected :: p
end module protected_var end module protected_var
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/omp-lastprivate02.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.5 lastprivate Clause ! 2.15.3.5 lastprivate Clause
! A list item that is private within a parallel region, or that appears in ! A list item that is private within a parallel region, or that appears in
! reduction clause of a parallel construct, must not appear in a ! reduction clause of a parallel construct, must not appear in a
! lastprivate clause on a worksharing construct if any of the corresponding ! lastprivate clause on a worksharing construct if any of the corresponding
! worksharing regions ever binds to any of the corresponding parallel regions. ! worksharing regions ever binds to any of the corresponding parallel regions.
program omp_lastprivate program omp_lastprivate
Show All 26 Lines

flang/test/Semantics/omp-reduction01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
!ERROR: Invalid reduction operator in REDUCTION clause. !ERROR: Invalid reduction operator in REDUCTION clause.
!$omp parallel do reduction(**:k) !$omp parallel do reduction(**:k)
do i = 1, 10 do i = 1, 10
k = k ** 1 k = k ** 1
end do end do
!$omp end parallel do !$omp end parallel do
end program omp_reduction end program omp_reduction

flang/test/Semantics/omp-reduction02.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
integer :: j = 10 integer :: j = 10
Show All 28 Lines

flang/test/Semantics/omp-reduction03.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
subroutine omp_target(p) subroutine omp_target(p)
integer, pointer, intent(in) :: p integer, pointer, intent(in) :: p
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
Show All 9 Lines

flang/test/Semantics/omp-reduction04.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_Reduction program omp_Reduction
integer :: i integer :: i
integer, parameter :: k = 10 integer, parameter :: k = 10
common /c/ a, b common /c/ a, b
!ERROR: Variable 'k' on the REDUCTION clause is not definable !ERROR: Variable 'k' on the REDUCTION clause is not definable
Show All 13 Lines

flang/test/Semantics/omp-reduction05.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
integer :: a(10),b(10,10,10) integer :: a(10),b(10,10,10)
Show All 29 Lines

flang/test/Semantics/omp-reduction06.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
integer :: a(10), b(10,10,10) integer :: a(10), b(10,10,10)
Show All 22 Lines

flang/test/Semantics/omp-reduction07.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i,j,l integer :: i,j,l
integer :: k = 10 integer :: k = 10
!$omp parallel private(k) !$omp parallel private(k)
!ERROR: REDUCTION variable 'k' is PRIVATE in outer context must be shared in the parallel regions to which any of the worksharing regions arising from the worksharing construct bind. !ERROR: REDUCTION variable 'k' is PRIVATE in outer context must be shared in the parallel regions to which any of the worksharing regions arising from the worksharing construct bind.
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

flang/test/Semantics/omp-reduction08.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause Positive cases ! 2.15.3.6 Reduction Clause Positive cases
!DEF: /omp_reduction MainProgram !DEF: /omp_reduction MainProgram
program omp_reduction program omp_reduction
!DEF: /omp_reduction/i ObjectEntity INTEGER(4) !DEF: /omp_reduction/i ObjectEntity INTEGER(4)
integer i integer i
!DEF: /omp_reduction/k ObjectEntity INTEGER(4) !DEF: /omp_reduction/k ObjectEntity INTEGER(4)
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

flang/test/Semantics/omp-reduction09.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause Positive cases. ! 2.15.3.6 Reduction Clause Positive cases.
!DEF: /omp_reduction MainProgram !DEF: /omp_reduction MainProgram
program omp_reduction program omp_reduction
!DEF: /omp_reduction/i ObjectEntity INTEGER(4) !DEF: /omp_reduction/i ObjectEntity INTEGER(4)
integer i integer i
!DEF: /omp_reduction/k ObjectEntity INTEGER(4) !DEF: /omp_reduction/k ObjectEntity INTEGER(4)
integer :: k = 10 integer :: k = 10
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

flang/test/Semantics/omp-reduction10.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.15.3.6 Reduction Clause ! 2.15.3.6 Reduction Clause
program omp_reduction program omp_reduction
integer :: i integer :: i
integer :: k = 10 integer :: k = 10
!ERROR: Invalid reduction identifier in REDUCTION clause. !ERROR: Invalid reduction identifier in REDUCTION clause.
!$omp parallel do reduction(foo:k) !$omp parallel do reduction(foo:k)
do i = 1, 10 do i = 1, 10
k = foo(k) k = foo(k)
end do end do
!$omp end parallel do !$omp end parallel do
end program omp_reduction end program omp_reduction

flang/test/Semantics/omp-resolve06.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
use omp_lib use omp_lib
!2.11.4 Allocate Clause !2.11.4 Allocate Clause
!For any list item that is specified in the allocate !For any list item that is specified in the allocate
!clause on a directive, a data-sharing attribute clause !clause on a directive, a data-sharing attribute clause
!that may create a private copy of that list item must be !that may create a private copy of that list item must be
!specified on the same directive. !specified on the same directive.
integer :: N = 2 integer :: N = 2
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

flang/test/Semantics/omp-single01.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.3 single Construct ! 2.7.3 single Construct
! Symbol present on multiple clauses ! Symbol present on multiple clauses
program omp_single program omp_single
integer i integer i
i = 10 i = 10
!$omp single private(i) !$omp single private(i)
print *, "omp single", i print *, "omp single", i
!ERROR: COPYPRIVATE variable 'i' may not appear on a PRIVATE or FIRSTPRIVATE clause on a SINGLE construct !ERROR: COPYPRIVATE variable 'i' may not appear on a PRIVATE or FIRSTPRIVATE clause on a SINGLE construct
!$omp end single copyprivate(i) !$omp end single copyprivate(i)
end program omp_single end program omp_single

flang/test/Semantics/omp-single02.f90

! RUN: %S/test_errors.sh %s %t %f18 -fopenmp ! RUN: %S/test_errors.sh %s %t %flang_fc1 -fopenmp
! OpenMP Version 4.5 ! OpenMP Version 4.5
! 2.7.3 single Construct ! 2.7.3 single Construct
! Copyprivate variable is not thread private or private in outer context ! Copyprivate variable is not thread private or private in outer context
program omp_single program omp_single
integer i integer i
i = 10 i = 10
!$omp parallel !$omp parallel
!$omp single !$omp single
print *, "omp single", i print *, "omp single", i
!ERROR: COPYPRIVATE variable 'i' is not PRIVATE or THREADPRIVATE in outer context !ERROR: COPYPRIVATE variable 'i' is not PRIVATE or THREADPRIVATE in outer context
!$omp end single copyprivate(i) !$omp end single copyprivate(i)
!$omp end parallel !$omp end parallel
end program omp_single end program omp_single

flang/test/Semantics/omp-symbol01.f90

! RUN: %S/test_symbols.sh %s %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 -fopenmp ! RUN: %S/test_symbols.sh %s %t %flang_fc1 -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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 ABSTRACT, PUBLIC (Function) Subprogram REAL(4) !DEF: /module1/abstract1 ABSTRACT, 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/reshape.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!Tests for RESHAPE !Tests for RESHAPE
program reshaper program reshaper
! RESHAPE with arguments SOURCE and SHAPE ! RESHAPE with arguments SOURCE and SHAPE
integer, parameter :: array1(2,3) = RESHAPE([(n, n=1,6)], [2,3]) integer, parameter :: array1(2,3) = RESHAPE([(n, n=1,6)], [2,3])
! RESHAPE with arguments SOURCE, SHAPE, and PAD ! RESHAPE with arguments SOURCE, SHAPE, and PAD
integer :: array2(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99]) integer :: array2(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99])
! RESHAPE with arguments SOURCE, SHAPE, PAD, and ORDER ! RESHAPE with arguments SOURCE, SHAPE, PAD, and ORDER
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

flang/test/Semantics/resolve01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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/resolve101.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Ensure that spurious errors do not arise from FinishSpecificationPart ! Ensure that spurious errors do not arise from FinishSpecificationPart
! checking on a nested specification part. ! checking on a nested specification part.
real, save :: x real, save :: x
interface interface
subroutine subr(x) subroutine subr(x)
real, intent(in) :: x real, intent(in) :: x
! SAVE attribute checking should not complain at the ! SAVE attribute checking should not complain at the
! end of this specification part about a dummy argument ! end of this specification part about a dummy argument
! having the SAVE attribute. ! having the SAVE attribute.
end subroutine end subroutine
end interface end interface
end end

flang/test/Semantics/resolve102.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests for circularly defined procedures ! Tests for circularly defined procedures
!ERROR: Procedure 'sub' is recursively defined. Procedures in the cycle: 'sub', 'p2' !ERROR: Procedure 'sub' is recursively defined. Procedures in the cycle: 'sub', 'p2'
subroutine sub(p2) subroutine sub(p2)
PROCEDURE(sub) :: p2 PROCEDURE(sub) :: p2
call sub() call sub()
end subroutine end subroutine
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

flang/test/Semantics/resolve104.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test constant folding of type parameter values both a base value and a ! Test constant folding of type parameter values both a base value and a
! parameter name are supplied. ! parameter name are supplied.
! !
! Type parameters are described in 7.5.3 and constant expressions are described ! Type parameters are described in 7.5.3 and constant expressions are described
! in 10.1.12. 10.1.12, paragraph 4 defines whether a specification inquiry is ! in 10.1.12. 10.1.12, paragraph 4 defines whether a specification inquiry is
! a constant expression. Section 10.1.11, paragraph 3, item (2) states that a ! a constant expression. Section 10.1.11, paragraph 3, item (2) states that a
! type parameter inquiry is a specification inquiry. ! type parameter inquiry is a specification inquiry.
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

flang/test/Semantics/resolve11.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m1 module m1
end end
subroutine sub subroutine sub
end end
use m1 use m1
!ERROR: Cannot read module file for module 'm2': Source file 'm2.mod' was not found !ERROR: Cannot read module file for module 'm2': Source file 'm2.mod' was not found
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m1 module m1
integer :: x integer :: x
integer :: y integer :: y
integer :: z integer :: z
integer, parameter :: k1 = selected_int_kind(9) integer, parameter :: k1 = selected_int_kind(9)
end end
module m2 module m2
real :: y real :: y
Show All 23 Lines

flang/test/Semantics/resolve15.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 28 Lines

flang/test/Semantics/resolve16.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 258 Lines • Show Last 20 Lines

flang/test/Semantics/resolve18.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 175 Lines • Show Last 20 Lines

flang/test/Semantics/resolve19.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 26 Lines

flang/test/Semantics/resolve20.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 69 Lines • Show Last 20 Lines

flang/test/Semantics/resolve21.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m module m
interface foo interface foo
real function s1(x) real function 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 30 Lines

flang/test/Semantics/resolve31.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 36 Lines

flang/test/Semantics/resolve34.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 136 Lines • Show Last 20 Lines

flang/test/Semantics/resolve35.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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.
! C1547 MODULE shall appear only in the function-stmt or subroutine-stmt of a ! C1547 MODULE shall appear only in the function-stmt or subroutine-stmt of a
! module subprogram or of a nonabstract interface body that is declared in the ! module subprogram or of a nonabstract interface body that is declared in the
! scoping unit of a module or submodule. ! scoping unit of a module or submodule.
module m1 module m1
interface interface
▲ Show 20 Lines • Show All 90 Lines • Show Last 20 Lines

flang/test/Semantics/resolve37.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 33 Lines

flang/test/Semantics/resolve38.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 72 Lines • Show Last 20 Lines

flang/test/Semantics/resolve46.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 20 Lines • Show All 43 Lines • Show Last 20 Lines

flang/test/Semantics/resolve50.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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.
! !
! C757 If the procedure pointer component has an implicit interface or has no ! C757 If the procedure pointer component has an implicit interface or has no
▲ Show 20 Lines • Show All 131 Lines • Show Last 20 Lines

flang/test/Semantics/resolve53.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 472 Lines • Show Last 20 Lines

flang/test/Semantics/resolve54.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 84 Lines • Show Last 20 Lines

flang/test/Semantics/resolve56.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 264 Lines • Show Last 20 Lines

flang/test/Semantics/resolve65.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 66 Lines • Show Last 20 Lines

flang/test/Semantics/resolve71.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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 47 Lines • Show Last 20 Lines

flang/test/Semantics/resolve80.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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.
! !
! C754 Each type-param-value within a component-def-stmt shall be a colon or ! C754 Each type-param-value within a component-def-stmt shall be a colon or
! a specification expression in which there are no references to specification ! a specification expression in which there are no references to specification
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

flang/test/Semantics/resolve90.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Testing for pointer constant, along with : ! Testing for pointer constant, along with :
! C751 A component shall not have both the ALLOCATABLE and POINTER attributes. ! C751 A component shall not have both the ALLOCATABLE and POINTER attributes.
! C752 If the CONTIGUOUS attribute is specified, the component shall be an ! C752 If the CONTIGUOUS attribute is specified, the component shall be an
! array with the POINTER attribute. ! array with the POINTER attribute.
! C753 The * char-length option is permitted only if the component is of type ! C753 The * char-length option is permitted only if the component is of type
! character. ! character.
subroutine s() subroutine s()
!ERROR: 'nullint' may not have both the POINTER and PARAMETER attributes !ERROR: 'nullint' may not have both the POINTER and PARAMETER attributes
Show All 12 Lines

flang/test/Semantics/resolve91.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests for duplicate definitions and initializations, mostly of procedures ! Tests for duplicate definitions and initializations, mostly of procedures
module m module m
procedure(real), pointer :: p procedure(real), pointer :: p
!ERROR: The interface for procedure 'p' has already been declared !ERROR: The interface for procedure 'p' has already been declared
procedure(integer), pointer :: p procedure(integer), pointer :: p
end end
module m1 module m1
▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines

flang/test/Semantics/resolve92.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m1 module m1
implicit none implicit none
type t type t
integer :: n integer :: n
end type end type
type t2 type t2
! t and t2 must be resolved to types in m1, not components in t2 ! t and t2 must be resolved to types in m1, not components in t2
Show All 17 Lines

flang/test/Semantics/resolve93.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
subroutine s1() subroutine s1()
character(10) str character(10) str
character(10) str1 character(10) str1
!ERROR: Cannot reference function 'str' as data !ERROR: Cannot reference function 'str' as data
print *, str(1:9), str(7) print *, str(1:9), str(7)
block block
character(10) str2 character(10) str2
character(10) str3 character(10) str3
Show All 35 Lines

flang/test/Semantics/resolve94.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! C929 No specifier shall appear more than once in a given ! C929 No specifier shall appear more than once in a given
! image-selector-spec-list. ! image-selector-spec-list.
! C930 TEAM and TEAM_NUMBER shall not both appear in the same ! C930 TEAM and TEAM_NUMBER shall not both appear in the same
! image-selector-spec-list. ! image-selector-spec-list.
! C931 A stat-variable in an image-selector shall not be a coindexed object. ! C931 A stat-variable in an image-selector shall not be a coindexed object.
subroutine s1() subroutine s1()
use ISO_FORTRAN_ENV use ISO_FORTRAN_ENV
type(team_type) :: team1, team2 type(team_type) :: team1, team2
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

flang/test/Semantics/resolve95.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test SELECT TYPE and ASSOCIATE errors: C1103 ! Test SELECT TYPE and ASSOCIATE errors: C1103
subroutine s1() subroutine s1()
class(*),allocatable :: calc[:] class(*),allocatable :: calc[:]
integer,save :: icoa[*] integer,save :: icoa[*]
!ERROR: Selector must not be a coindexed object !ERROR: Selector must not be a coindexed object
associate(sel=>icoa[2]) associate(sel=>icoa[2])
end associate end associate
icoa = 2 icoa = 2
allocate(integer::calc[*]) allocate(integer::calc[*])
!ERROR: Selector must not be a coindexed object !ERROR: Selector must not be a coindexed object
select type(sel=>calc[2]) select type(sel=>calc[2])
end select end select
end subroutine end subroutine

flang/test/Semantics/resolve96.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Check distinguishability for specific procedures of defined operators and ! Check distinguishability for specific procedures of defined operators and
! assignment. These are different from names because there a normal generic ! assignment. These are different from names because there a normal generic
! is invoked the same way as a type-bound generic. ! is invoked the same way as a type-bound generic.
! E.g. for a generic name like 'foo', the generic name is invoked as 'foo(x, y)' ! E.g. for a generic name like 'foo', the generic name is invoked as 'foo(x, y)'
! while the type-bound generic is invoked as 'x%foo(y)'. ! while the type-bound generic is invoked as 'x%foo(y)'.
! But for 'operator(.foo.)', it is 'x .foo. y' in either case. ! But for 'operator(.foo.)', it is 'x .foo. y' in either case.
! So to check the specifics of 'operator(.foo.)' we have to consider all ! So to check the specifics of 'operator(.foo.)' we have to consider all
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

flang/test/Semantics/resolve97.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Check errors from illegal (10.1.12 para 2) forward references ! Check errors from illegal (10.1.12 para 2) forward references
! in specification expressions to entities declared later in the ! in specification expressions to entities declared later in the
! same specification part. ! same specification part.
module m1 module m1
integer :: m1j1, m1j2, m1j3, m1j4 integer :: m1j1, m1j2, m1j3, m1j4
contains contains
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

flang/test/Semantics/resolve98.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Errors when comparing LOGICAL operands ! Errors when comparing LOGICAL operands
program testCompare program testCompare
logical flag1, flag2 logical flag1, flag2
if (flag1 .eqv. .false.) continue if (flag1 .eqv. .false.) continue
if (flag1 .neqv. flag2) continue if (flag1 .neqv. flag2) continue
!ERROR: LOGICAL operands must be compared using .EQV. or .NEQV. !ERROR: LOGICAL operands must be compared using .EQV. or .NEQV.
if (flag1 .eq. .false.) continue if (flag1 .eq. .false.) continue
!ERROR: LOGICAL operands must be compared using .EQV. or .NEQV. !ERROR: LOGICAL operands must be compared using .EQV. or .NEQV.
if (flag1 .ne. flag2) continue if (flag1 .ne. flag2) continue
end program testCompare end program testCompare

flang/test/Semantics/resolve99.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests for the index-name of a FORALL statement ! Tests for the index-name of a FORALL statement
module m1 module m1
integer modVar integer modVar
end module m1 end module m1
program indexName program indexName
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

flang/test/Semantics/save01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
MODULE test MODULE test
SAVE SAVE
CONTAINS CONTAINS
PURE FUNCTION pf( ) PURE FUNCTION pf( )
IMPLICIT NONE IMPLICIT NONE
INTEGER :: pf INTEGER :: pf
INTEGER :: mc INTEGER :: mc
!OK: SAVE statement is not inherited by the function !OK: SAVE statement is not inherited by the function
Show All 12 Lines

flang/test/Semantics/select-rank.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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 257 Lines • Show Last 20 Lines

flang/test/Semantics/select-rank02.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
!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
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

flang/test/Semantics/selecttype01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test for checking select type constraints, ! Test for checking select type constraints,
module m1 module m1
use ISO_C_BINDING use ISO_C_BINDING
type shape type shape
integer :: color integer :: color
logical :: filled logical :: filled
integer :: x integer :: x
integer :: y integer :: y
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

flang/test/Semantics/selecttype02.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
module m1 module m1
use ISO_C_BINDING use ISO_C_BINDING
type shape type shape
integer :: color integer :: color
logical :: filled logical :: filled
integer :: x integer :: x
integer :: y integer :: y
end type shape end type shape
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

flang/test/Semantics/selecttype03.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test various conditions in C1158. ! Test various conditions in C1158.
implicit none implicit none
type :: t1 type :: t1
integer :: i integer :: i
end type end type
type, extends(t1) :: t2 type, extends(t1) :: t2
▲ Show 20 Lines • Show All 114 Lines • Show Last 20 Lines

flang/test/Semantics/separate-mp01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 289 Lines • Show Last 20 Lines

flang/test/Semantics/shape.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Test comparisons that use the intrinsic SHAPE() as an operand ! Test comparisons that use the intrinsic SHAPE() as an operand
program testShape program testShape
contains contains
subroutine sub1(arrayDummy) subroutine sub1(arrayDummy)
integer :: arrayDummy(:) integer :: arrayDummy(:)
integer, allocatable :: arrayDeferred(:) integer, allocatable :: arrayDeferred(:)
integer :: arrayLocal(2) = [88, 99] integer :: arrayLocal(2) = [88, 99]
!ERROR: Dimension 1 of left operand has extent 1, but right operand has extent 0 !ERROR: Dimension 1 of left operand has extent 1, but right operand has extent 0
Show All 40 Lines

flang/test/Semantics/spec-expr.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! Tests for the 14 items that specify a "specification expression" in section ! Tests for the 14 items that specify a "specification expression" in section
! 10.1.11 ! 10.1.11
! a constant or subobject of a constant, ! a constant or subobject of a constant,
subroutine s1() subroutine s1()
type dType type dType
integer :: field integer :: field
end type dType end type dType
▲ Show 20 Lines • Show All 175 Lines • Show Last 20 Lines

flang/test/Semantics/stop01.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 34 Lines

flang/test/Semantics/structconst03.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 157 Lines • Show Last 20 Lines

flang/test/Semantics/structconst04.f90

! RUN: %S/test_errors.sh %s %t %f18 ! RUN: %S/test_errors.sh %s %t %flang_fc1
! 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 151 Lines • Show Last 20 Lines

flang/test/Semantics/symbol01.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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
Show All 15 Lines

flang/test/Semantics/symbol05.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
!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 127 Lines • Show Last 20 Lines

flang/test/Semantics/symbol12.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! "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 %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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 ABSTRACT, PUBLIC (Subroutine) Subprogram !DEF: /m/iface ABSTRACT, PUBLIC (Subroutine) Subprogram
subroutine iface subroutine iface
▲ Show 20 Lines • Show All 251 Lines • Show Last 20 Lines

flang/test/Semantics/symbol16.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! Statement functions ! Statement functions
!DEF: /p1 MainProgram !DEF: /p1 MainProgram
program p1 program p1
!DEF: /p1/f (Function, StmtFunction) Subprogram INTEGER(4) !DEF: /p1/f (Function, StmtFunction) 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
Show All 18 Lines

flang/test/Semantics/symbol17.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! 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/symbol18.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! Intrinsic function in type declaration statement: type is ignored ! Intrinsic function in type declaration statement: type is ignored
!DEF: /p1 MainProgram !DEF: /p1 MainProgram
program p1 program p1
!DEF: /p1/cos ELEMENTAL, INTRINSIC, PURE (Function) ProcEntity INTEGER(4) !DEF: /p1/cos ELEMENTAL, INTRINSIC, PURE (Function) ProcEntity INTEGER(4)
integer cos integer cos
!DEF: /p1/y (Implicit) ObjectEntity REAL(4) !DEF: /p1/y (Implicit) ObjectEntity REAL(4)
Show All 22 Lines

flang/test/Semantics/symbol19.f90

! RUN: %S/test_symbols.sh %s %t %f18 ! RUN: %S/test_symbols.sh %s %t %flang_fc1
! Test that a procedure is only implicitly resolved as an intrinsic function ! Test that a procedure is only implicitly resolved as an intrinsic function
! (resp. subroutine) if this is a function (resp. subroutine) ! (resp. subroutine) if this is a function (resp. subroutine)
!DEF: /expect_external (Subroutine) Subprogram !DEF: /expect_external (Subroutine) Subprogram
subroutine expect_external subroutine expect_external
!DEF: /acos EXTERNAL (Subroutine) ProcEntity !DEF: /acos EXTERNAL (Subroutine) ProcEntity
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

flang/test/Semantics/test_errors.sh

#!/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 FLANG_FC1 environment variable.
F18_OPTIONS="-fsyntax-only" FLANG_FC1_OPTIONS="-fsyntax-only"
srcdir=$(dirname $0) 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
cmd="$F18 $F18_OPTIONS $src" cmd="$FLANG_FC1 $FLANG_FC1_OPTIONS $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_modfile.sh

#!/usr/bin/env bash #!/usr/bin/env bash
# Compile a source file and compare generated .mod files against expected. # Compile a source file and compare generated .mod files against expected.
set -e set -e
F18_OPTIONS="-fdebug-resolve-names -fsyntax-only" FLANG_FC1_OPTIONS="-fsyntax-only"
srcdir=$(dirname $0) srcdir=$(dirname $0)
source $srcdir/common.sh source $srcdir/common.sh
actual=$temp/actual.mod actual=$temp/actual.mod
expect=$temp/expect.mod expect=$temp/expect.mod
actual_files=$temp/actual_files actual_files=$temp/actual_files
prev_files=$temp/prev_files prev_files=$temp/prev_files
diffs=$temp/diffs diffs=$temp/diffs
set $src set $src
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 $src $FLANG_FC1 $FLANG_FC1_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

#!/usr/bin/env bash #!/usr/bin/env bash
# Compile a source file with '-funparse-with-symbols' and verify # Compile a source file with '-fdebug-unparse-with-symbols' and verify
# we get the right symbols in the output, i.e. the output should be # we get the right symbols in the output, i.e. the output should be
# the same as the input, except for the copyright comment. # the same as the input, except for the copyright comment.
# Change the compiler by setting the F18 environment variable. # Change the frontend driver by setting the FLANG_FC1 environment variable.
F18_OPTIONS="-funparse-with-symbols" FLANG_FC1_OPTIONS="-fdebug-unparse-with-symbols"
srcdir=$(dirname $0) srcdir=$(dirname $0)
source $srcdir/common.sh source $srcdir/common.sh
[[ ! -f $src ]] && echo "File not found: $src" && exit 1 [[ ! -f $src ]] && echo "File not found: $src" && exit 1
src1=$temp/1.f90 src1=$temp/1.f90
src2=$temp/2.f90 src2=$temp/2.f90
src3=$temp/3.f90 src3=$temp/3.f90
diffs=$temp/diffs diffs=$temp/diffs
# 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/!\($acc\)/KEEP \1/' -e 's/!.*//' -e 's/ *$//' -e '/^$/d' \ -e 's/!\($acc\)/KEEP \1/' -e 's/!.*//' -e 's/ *$//' -e '/^$/d' \
-e 's/KEEP \([DR]EF:\)/!\1/' -e 's/KEEP \($omp\)/!\1/' \ -e 's/KEEP \([DR]EF:\)/!\1/' -e 's/KEEP \($omp\)/!\1/' \
-e 's/KEEP \($acc\)/!\1/' \ -e 's/KEEP \($acc\)/!\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 $(basename $src2) ) > $src3 ( cd $temp; $FLANG_FC1 $FLANG_FC1_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