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
|
! { dg-do run }
! { dg-additional-options "-fcheck=bounds -g -fdump-tree-original" }
! { dg-output "At line 13 .*" }
! { dg-shouldfail "Array bound mismatch for dimension 1 of array 'ivec' (2/3)" }
!
! PR fortran/31059 - runtime bounds-checking in presence of array constructors
program p
integer :: jvec(3) = [1,2,3]
integer, allocatable :: ivec(:), kvec(:), lvec(:), mvec(:), nvec(:)
ivec = [1,2] ! (re)allocation
kvec = [4,5,6] ! (re)allocation
ivec(:) = [4,5,6] ! runtime error (->dump)
! not reached ...
print *, jvec + [1,2,3] ! OK & no check generated
print *, [4,5,6] + jvec ! OK & no check generated
print *, lvec + [1,2,3] ! check generated (->dump)
print *, [4,5,6] + mvec ! check generated (->dump)
nvec(:) = jvec ! check generated (->dump)
end
! { dg-final { scan-tree-dump-times "Array bound mismatch " 4 "original" } }
! { dg-final { scan-tree-dump-times "Array bound mismatch .*ivec" 1 "original" } }
! { dg-final { scan-tree-dump-times "Array bound mismatch .*lvec" 1 "original" } }
! { dg-final { scan-tree-dump-times "Array bound mismatch .*mvec" 1 "original" } }
! { dg-final { scan-tree-dump-times "Array bound mismatch .*nvec" 1 "original" } }
|
