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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
! { dg-do run }
! { dg-options "-Warray-temporaries" }
! PR 57023
! This used to cause wrong packing because a(1:n,1:n) was
! assumed to be a full array.
module mymod
implicit none
contains
subroutine foo1(a,n)
integer, dimension(n,n), intent(inout) :: a
integer :: n
n = n - 1
call baz(a(1:n,1:n),n) ! { dg-warning "array temporary" }
end subroutine foo1
subroutine foo2(a,n)
integer, dimension(n,n), intent(inout) :: a
integer :: n
call decrement(n)
call baz(a(1:n,1:n),n) ! { dg-warning "array temporary" }
end subroutine foo2
subroutine foo3(a,n)
integer, dimension(n,n), intent(inout) :: a
integer :: n, m
m = n - 1
call baz(a(1:m,1:m),m) ! { dg-warning "array temporary" }
end subroutine foo3
subroutine foo4(a,n)
integer, dimension(n,n), intent(inout) :: a
integer, intent(in) :: n
a(1:n,1:n) = 1
end subroutine foo4
subroutine baz(a,n)
integer, dimension(n,n), intent(inout) :: a
integer, intent(in) :: n
a = 1
end subroutine baz
subroutine decrement(n)
integer, intent(inout) :: n
n = n - 1
end subroutine decrement
end module mymod
program main
use mymod
implicit none
integer, dimension(5,5) :: a, b
integer :: n
b = 0
b(1:4,1:4) = 1
n = 5
a = 0
call foo1(a,n)
if (any(a /= b)) call abort
n = 5
a = 0
call foo2(a,n)
if (any(a /= b)) call abort
n = 5
a = 0
call foo3(a,n)
if (any(a /= b)) call abort
n = 5
a = 0
call foo4(a,n)
if (any(a /= 1)) call abort
end program main
|
