1 /* PR middle-end/103215 - bogus -Warray-bounds with two pointers with
2 different offsets each
3 Test for accesses into the same array through pointers with different
4 offsets each.
5 { dg-do compile }
6 { dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
7
8 #define NOIPA __attribute__ ((noipa))
9
10 #define A(p, off) ((p)[off] = __COUNTER__)
11
12 extern int a4[4];
13
14
15 NOIPA void p0_p1 (int i)
16 {
17 int *p0 = a4 + 0;
18 int *p1 = a4 + 1;
19 int *q = i ? p0 : p1;
20 A (q, -2); // { dg-warning "-Warray-bounds" }
21 A (q, -1); A (q, 0); A (q, 1); A (q, 2);
22 /* Since q points to a4 and -1 is a valid subscript, +3 must be invalid.
23 But the warning for each subscript is independent of prior subscripts
24 into the same object. That should be improved. */
25 A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
26 A (q, 4); // { dg-warning "-Warray-bounds" }
27 }
28
29 NOIPA void p1_p0 (int i)
30 {
31 int *p1 = a4 + 1;
32 int *p0 = a4 + 0;
33 int *q = i ? p0 : p1;
34 A (q, -2); // { dg-warning "-Warray-bounds" }
35 A (q, -1); A (q, 0); A (q, 1); A (q, 2);
36 A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
37 A (q, 4); // { dg-warning "-Warray-bounds" }
38 }
39
40
41 NOIPA void p1_p2 (int i)
42 {
43 int *p1 = a4 + 1;
44 int *p2 = a4 + 2;
45 int *q = i ? p1 : p2;
46 A (q, -3); // { dg-warning "-Warray-bounds" }
47 A (q, -2); A (q, -1); A (q, 0); A (q, 1);
48 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
49 A (q, 3); // { dg-warning "-Warray-bounds" }
50 }
51
52 NOIPA void p2_p1 (int i)
53 {
54 int *p2 = a4 + 2;
55 int *p1 = a4 + 1;
56 int *q = i ? p1 : p2;
57 A (q, -3); // { dg-warning "-Warray-bounds" }
58 A (q, -2); A (q, -1); A (q, 0); A (q, 1);
59 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
60 A (q, 3); // { dg-warning "-Warray-bounds" }
61 }
62
63
64 NOIPA void p1_p3 (int i)
65 {
66 int *p1 = a4 + 1;
67 int *p3 = a4 + 3;
68 int *q = i ? p1 : p3;
69 A (q, -4); // { dg-warning "-Warray-bounds" }
70 A (q, -3); A (q, -2); A (q, -1); A (q, 0);
71 A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
72 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
73 A (q, 3); // { dg-warning "-Warray-bounds" }
74 }
75
76 NOIPA void p3_p1 (int i)
77 {
78 int *p3 = a4 + 3;
79 int *p1 = a4 + 1;
80 int *q = i ? p1 : p3;
81 A (q, -4); // { dg-warning "-Warray-bounds" }
82 A (q, -3); A (q, -2); A (q, -1); A (q, 0);
83 A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
84 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
85 A (q, 3); // { dg-warning "-Warray-bounds" }
86 }
87
88
89 NOIPA void p1_p4 (int i)
90 {
91 int *p1 = a4 + 1;
92 int *p4 = a4 + 4;
93 int *q = i ? p1 : p4;
94 A (q, -5); // { dg-warning "-Warray-bounds" }
95 A (q, -4); A (q, -3); A (q, -2); A (q, -1);
96 A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
97 A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
98 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
99 A (q, 3); // { dg-warning "-Warray-bounds" }
100 }
101
102 NOIPA void p4_p1 (int i)
103 {
104 int *p4 = a4 + 4;
105 int *p1 = a4 + 1;
106 int *q = i ? p1 : p4;
107 A (q, -5); // { dg-warning "-Warray-bounds" }
108 A (q, -4); A (q, -3); A (q, -2); A (q, -1);
109 A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
110 A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
111 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
112 A (q, 3); // { dg-warning "-Warray-bounds" }
113 }
114
115
116 NOIPA void p0_p1_p2 (int i)
117 {
118 int *p0 = a4 + 0;
119 int *p1 = a4 + 1;
120 int *p2 = a4 + 2;
121 int *q = i < 0 ? p1 : 0 < i ? p2 : p0;
122 A (q, -3); // { dg-warning "-Warray-bounds" }
123 A (q, -2); A (q, -1); A (q, 0); A (q, 1);
124 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
125 A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
126 A (q, 4); // { dg-warning "-Warray-bounds" }
127 }
128
129
130 NOIPA void p0_p1_p2_p3_p4 (int i)
131 {
132 int *p0 = a4 + 0;
133 int *p1 = a4 + 1;
134 int *p2 = a4 + 2;
135 int *p3 = a4 + 3;
136 int *p4 = a4 + 4;
137 int *q = i < -1 ? p1 : i < 0 ? p2 : 1 < i ? p4 : 0 < i ? p3 : p0;
138 A (q, -5); // { dg-warning "-Warray-bounds" }
139 A (q, -4); A (q, -3); A (q, -2); A (q, -1);
140 A (q, 0); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
141 A (q, 1); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
142 A (q, 2); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
143 A (q, 3); // { dg-warning "-Warray-bounds" "pr??????" { xfail *-*-* } }
144 A (q, 4); // { dg-warning "-Warray-bounds" }
145 }