1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
! { dg-do compile }
! { dg-additional-options "-fcheck=bounds -g -fdump-tree-original" }
!
! PR fortran/30802 - improve bounds-checking for array references
!
! Use proper array component references in runtime error message.
program test
implicit none
integer :: k = 0
type t
real, dimension(10,20,30) :: z = 23
end type t
type u
type(t) :: vv(4,5)
complex :: cc(6,7)
end type u
type vec
integer :: xx(3) = [2,4,6]
end type vec
type(t) :: uu, ww(1)
type(u) :: x1, x2, y1(1), y2(1)
print *, uu % z(1,k,:) ! runtime check for dimension 2 of uu%z
print *, ww(1)% z(1,:,k) ! runtime check for dimension 3 of ww...%z
print *, x1 % vv(2,3)% z(1,:,k) ! runtime check for dimension 3 of x1...%z
print *, x2 % vv(k,:)% z(1,2,3) ! runtime check for dimension 1 of x2%vv
print *, y1(k)% vv(2,3)% z(k,:,1) ! runtime check for dimension 1 of y1
! and for dimension 1 of y1...%z
print *, y2(1)% vv(:,k)% z(1,2,k) ! runtime check for dimension 2 of y2...%vv
! and for dimension 3 of y2...%z
print *, y1(1)% cc(k,:)% re ! runtime check for dimension 1 of y1...%cc
contains
subroutine sub (yy, k)
class(vec), intent(in) :: yy(:)
integer, intent(in) :: k
print *, yy(1)%xx(k) ! runtime checks for yy and yy...%xx
end
end program test
! { dg-final { scan-tree-dump-times "dimension 2 of array .'uu%%z.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 3 of array .'ww\.\.\.%%z.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 3 of array .'x1\.\.\.%%z.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'x2%%vv.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'y1\.\.\.%%z.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 2 of array .'y2\.\.\.%%vv.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'y1\.\.\.%%cc.' outside of expected range" 2 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'y1.' above upper bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'y1.' below lower bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 3 of array .'y2\.\.\.%%z.' above upper bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 3 of array .'y2\.\.\.%%z.' below lower bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'yy.' above upper bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'yy\.\.\.%%xx.' above upper bound" 1 "original" } }
! { dg-final { scan-tree-dump-times "dimension 1 of array .'yy\.\.\.%%xx.' below lower bound" 1 "original" } }
|
