annotate gcc/testsuite/gfortran.dg/assumed_rank_6.f90 @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ! { dg-do compile }
kono
parents:
diff changeset
2 ! { dg-options "-fcoarray=single" }
kono
parents:
diff changeset
3 !
kono
parents:
diff changeset
4 ! PR fortran/48820
kono
parents:
diff changeset
5 !
kono
parents:
diff changeset
6 ! Assumed-rank constraint checks and other diagnostics
kono
parents:
diff changeset
7 !
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 subroutine foo(x) ! { dg-error "Assumed-type variable x at .1. may not have the INTENT.OUT. attribute" }
kono
parents:
diff changeset
10 type(*), intent(out) :: x
kono
parents:
diff changeset
11 end subroutine
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 subroutine bar(x)
kono
parents:
diff changeset
14 integer, intent(out) :: x(..)
kono
parents:
diff changeset
15 end subroutine bar
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 subroutine foo3(y)
kono
parents:
diff changeset
18 integer :: y(..)
kono
parents:
diff changeset
19 y = 7 ! { dg-error "Assumed-rank variable y at .1. may only be used as actual argument" }
kono
parents:
diff changeset
20 print *, y + 10 ! { dg-error "Assumed-rank variable y at .1. may only be used as actual argument" }
kono
parents:
diff changeset
21 print *, y ! { dg-error "Assumed-rank variable y at .1. may only be used as actual argument" }
kono
parents:
diff changeset
22 end subroutine
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 subroutine foo2(x, y)
kono
parents:
diff changeset
25 integer :: x(..), y(..)
kono
parents:
diff changeset
26 call valid3(x(:)) ! { dg-error "Assumed-rank variable x at .1. shall not have a subobject reference" }
kono
parents:
diff changeset
27 contains
kono
parents:
diff changeset
28 subroutine valid3(y)
kono
parents:
diff changeset
29 integer :: y(..)
kono
parents:
diff changeset
30 end subroutine
kono
parents:
diff changeset
31 end subroutine
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 subroutine foo4(x)
kono
parents:
diff changeset
34 integer, codimension[*] :: x(..) ! { dg-error "The assumed-rank array at .1. shall not have a codimension" }
kono
parents:
diff changeset
35 end subroutine
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 subroutine foo5(y) ! { dg-error "may not have the VALUE or CODIMENSION attribute" }
kono
parents:
diff changeset
38 integer :: y(..)[*]
kono
parents:
diff changeset
39 end subroutine