|
145
|
1 /* PR middle-end/83859 - attribute to establish relation between parameters
|
|
|
2 for buffer and its size
|
|
|
3 Test to verify that -Wstringop-overflow warnings are issued even with
|
|
|
4 no optimization for calls to user-defined functions with attribute
|
|
|
5 access and with constant out-of-bounds arguments.
|
|
|
6 { dg-do compile }
|
|
|
7 { dg-options "-O0 -Wall" } */
|
|
|
8
|
|
|
9 #define INT_MAX __INT_MAX__
|
|
|
10 #define INT_MIN (-INT_MAX - 1)
|
|
|
11
|
|
|
12 #define rdonly __attribute__ ((access (read_only)))
|
|
|
13 #define RDONLY(...) __attribute__ ((access (read_only, __VA_ARGS__)))
|
|
|
14 #define WRONLY(...) __attribute__ ((access (write_only, __VA_ARGS__)))
|
|
|
15 #define RDWR(...) __attribute__ ((access (read_write, __VA_ARGS__)))
|
|
|
16
|
|
|
17 typedef __INT32_TYPE__ int32_t;
|
|
|
18
|
|
|
19 extern const char s1[1], s2[2], s3[3];
|
|
|
20 extern char d1[1], d2[2], d3[3];
|
|
|
21
|
|
|
22 /* Exercise that null pointers are allowed in functions declared with
|
|
|
23 the attribute without a size operand. */
|
|
|
24
|
|
|
25 RDONLY (1) void
|
|
|
26 rd1_int (const int32_t*); // { dg-message "in a call to function 'rd1_int' declared with attribute 'read_only \\\(1\\\)'" }
|
|
|
27
|
|
|
28 void test_rd1_int (void)
|
|
|
29 {
|
|
|
30 rd1_int (0);
|
|
|
31
|
|
|
32 int32_t i = 0;
|
|
|
33 rd1_int (&i);
|
|
|
34
|
|
|
35 rd1_int ((int32_t*)s1); // { dg-warning "reading 4 bytes from a region of size 1" }
|
|
|
36 }
|
|
|
37
|
|
|
38 /* Exercise null pointer detection in functions declared with
|
|
|
39 the attribute and with non-zero size. */
|
|
|
40
|
|
|
41 RDONLY (2, 1) void
|
|
|
42 rd2_1 (int, const void*); // { dg-message "in a call to function 'rd2_1' declared with attribute 'read_only \\\(2, 1\\\)" }
|
|
|
43
|
|
|
44 void test_rd2_1 (void)
|
|
|
45 {
|
|
|
46 rd2_1 (0, 0);
|
|
|
47 rd2_1 (1, "");
|
|
|
48 rd2_1 (1, 0); // { dg-warning "argument 2 is null but the corresponding size argument 1 value is 1" }
|
|
|
49 }
|
|
|
50
|
|
|
51 WRONLY (3, 1) void
|
|
|
52 wr3_1 (int, int, void*); // { dg-message "in a call to function 'wr3_1' declared with attribute 'write_only \\\(3, 1\\\)" }
|
|
|
53
|
|
|
54 void test_wr3_1 (void)
|
|
|
55 {
|
|
|
56 wr3_1 (0, 0, 0);
|
|
|
57 wr3_1 (1, 0, d1);
|
|
|
58 wr3_1 (2, 1, 0); // { dg-warning "argument 3 is null but the corresponding size argument 1 value is 2" }
|
|
|
59 }
|
|
|
60
|
|
|
61
|
|
|
62 /* Exercise pointer to an incomplete type other than void. */
|
|
|
63
|
|
|
64 struct Incomplete;
|
|
|
65 extern struct Incomplete inc;
|
|
|
66
|
|
|
67 RDONLY (1) void
|
|
|
68 rd_inc (const struct Incomplete*);
|
|
|
69
|
|
|
70 void test_rd_inc (const struct Incomplete *pinc)
|
|
|
71 {
|
|
|
72 rd_inc (0);
|
|
|
73
|
|
|
74 rd_inc (pinc);
|
|
|
75 rd_inc ((const struct Incomplete*)s1);
|
|
|
76
|
|
|
77 rd_inc ((const struct Incomplete*)&s1[1]);
|
|
|
78 // { dg-warning "'rd_inc' reading 1 byte from a region of size 0" "past-the-end pointer" { target *-*-* } .-1 }
|
|
|
79 }
|
|
|
80
|
|
|
81 RDONLY (1, 2) void
|
|
|
82 rd1_2_inc (const struct Incomplete*, unsigned);
|
|
|
83
|
|
|
84 void test_rd1_2_inc (const struct Incomplete *pinc)
|
|
|
85 {
|
|
|
86 rd1_2_inc (0, 0);
|
|
|
87 rd1_2_inc (0, 1); // { dg-warning "argument 1 is null but the corresponding size argument 2 value is 1" }
|
|
|
88
|
|
|
89 rd1_2_inc (pinc, 1);
|
|
|
90 rd1_2_inc (&inc, 1);
|
|
|
91
|
|
|
92 rd1_2_inc (pinc, 123);
|
|
|
93 rd1_2_inc (&inc, 456);
|
|
|
94
|
|
|
95 rd1_2_inc ((const struct Incomplete*)s3, 4);
|
|
|
96 // { dg-warning "'rd1_2_inc' reading 4 bytes from a region of size 3" "small buffer cast to incomplete" { target *-*-* } .-1 }
|
|
|
97 }
|
|
|
98
|
|
|
99
|
|
|
100 /* Verify the handling of two attributes sharing the same size operand . */
|
|
|
101
|
|
|
102 RDONLY (1, 3) WRONLY (2, 3) void
|
|
|
103 rd1_3_wr2_3 (const void*, void*, int);
|
|
|
104
|
|
|
105 void test_rd1_3_wr2_3 (void)
|
|
|
106 {
|
|
|
107 rd1_3_wr2_3 (s1, d1, 0);
|
|
|
108 rd1_3_wr2_3 (s1, d1, 1);
|
|
|
109
|
|
|
110 rd1_3_wr2_3 (s1, d1, 2);
|
|
|
111 // { dg-warning "'rd1_3_wr2_3' reading 2 bytes from a region of size 1" "read" { target *-*-* } .-1 }
|
|
|
112 // { dg-warning "'rd1_3_wr2_3' writing 2 bytes into a region of size 1" "write" { target *-*-* } .-2 }
|
|
|
113
|
|
|
114 rd1_3_wr2_3 (s1, d2, 2);
|
|
|
115 // { dg-warning "'rd1_3_wr2_3' reading 2 bytes from a region of size 1" "read" { target *-*-* } .-1 }
|
|
|
116
|
|
|
117 rd1_3_wr2_3 (s2, d1, 2);
|
|
|
118 // { dg-warning "'rd1_3_wr2_3' writing 2 bytes into a region of size 1" "write" { target *-*-* } .-1 }
|
|
|
119 }
|
|
|
120
|
|
|
121
|
|
|
122 /* Verify the handling of multiple attributes of the same kind with
|
|
|
123 out-of-order operands. */
|
|
|
124
|
|
|
125 RDONLY (1, 6) RDONLY (2, 5) RDONLY (3, 4) void
|
|
|
126 rd1_6_2_5_3_4 (const void *s1, const void *s2, const void *s3,
|
|
|
127 int n3, int n2, int n1);
|
|
|
128
|
|
|
129 void test_rd1_6_2_5_3_4 (void)
|
|
|
130 {
|
|
|
131 rd1_6_2_5_3_4 (s1, s2, s3, 4, 2, 1); // { dg-warning "reading 4 bytes from a region of size 3" }
|
|
|
132 rd1_6_2_5_3_4 (s1, s2, s3, 3, 5, 1); // { dg-warning "reading 5 bytes from a region of size 2" }
|
|
|
133 rd1_6_2_5_3_4 (s1, s2, s3, 3, 2, 6); // { dg-warning "reading 6 bytes from a region of size 1" }
|
|
|
134 }
|
|
|
135
|
|
|
136
|
|
|
137 /* Verify the handling of multiple attributes of different kinds with
|
|
|
138 out-of-order operands. */
|
|
|
139
|
|
|
140 RDONLY (1, 6) WRONLY (2, 5) RDONLY (3, 4) void
|
|
|
141 rd1_6_wr2_5_rd3_4 (const void *s1, void *d2, const void *s3,
|
|
|
142 int n3, int n2, int n1);
|
|
|
143
|
|
|
144 void test_rd1_6_wr2_5_rd3_4 (void)
|
|
|
145 {
|
|
|
146 rd1_6_wr2_5_rd3_4 (s1, d2, s3, 7, 2, 1); // { dg-warning "reading 7 bytes from a region of size 3" }
|
|
|
147 rd1_6_wr2_5_rd3_4 (s1, d2, s3, 3, 8, 1); // { dg-warning "writing 8 bytes into a region of size 2" }
|
|
|
148 rd1_6_wr2_5_rd3_4 (s1, d2, s3, 3, 2, 9); // { dg-warning "reading 9 bytes from a region of size 1" }
|
|
|
149 }
|
|
|
150
|
|
|
151
|
|
|
152 RDONLY (6, 1) WRONLY (5, 2) RDWR (4, 3) void
|
|
|
153 rd6_1_wr5_2_rd4_3 (int n1, int n2, int n3,
|
|
|
154 void *d3, void *d2, const void *s1);
|
|
|
155
|
|
|
156 void test_rd6_1_wr5_2_rd4_3 (void)
|
|
|
157 {
|
|
|
158 rd6_1_wr5_2_rd4_3 (7, 2, 1, d1, d2, s3); // { dg-warning "reading 7 bytes from a region of size 3" }
|
|
|
159 rd6_1_wr5_2_rd4_3 (3, 8, 1, d1, d2, s3); // { dg-warning "writing 8 bytes into a region of size 2" }
|
|
|
160 rd6_1_wr5_2_rd4_3 (3, 2, 9, d1, d2, s3); // { dg-warning "writing 9 bytes into a region of size 1" }
|
|
|
161 }
|
|
|
162
|
|
|
163
|
|
|
164 RDONLY (1, 3) WRONLY (2, 4) void
|
|
|
165 rd1_3_wr2_4 (const void*, void*, int, int);
|
|
|
166
|
|
|
167 void test_rd1_3_wr2_4 (const void *s, void *d, int n1, int n2)
|
|
|
168 {
|
|
|
169 rd1_3_wr2_4 (s, d, 1, 2);
|
|
|
170 rd1_3_wr2_4 (s, d, 123, 456);
|
|
|
171 rd1_3_wr2_4 (s, d, INT_MAX, INT_MAX);
|
|
|
172 rd1_3_wr2_4 (s, d, -1, 2); // { dg-warning "argument 3 value -1 is negative" }
|
|
|
173
|
|
|
174 const char s11[11] = "0123456789";
|
|
|
175
|
|
|
176 rd1_3_wr2_4 (s11, d, 11, n2);
|
|
|
177 rd1_3_wr2_4 (s11, d, 12, n2); // { dg-warning "'rd1_3_wr2_4' reading 12 bytes from a region of size 11" }
|
|
|
178 }
|
|
|
179
|
|
|
180
|
|
|
181 /* Verify that function pointers are handled. */
|
|
|
182
|
|
|
183 RDONLY (1) void (*pfrd1)(const void*, const void*);
|
|
|
184
|
|
|
185 void test_pfrd1 (void)
|
|
|
186 {
|
|
|
187 pfrd1 (0, 0);
|
|
|
188 pfrd1 ("", "");
|
|
|
189
|
|
|
190 pfrd1 ("", "" + 1);
|
|
|
191 pfrd1 ("" + 1, ""); // { dg-warning "reading 1 byte from a region of size 0" }
|
|
|
192 }
|
|
|
193
|
|
|
194
|
|
|
195 WRONLY (4, 3) void (*pfwr4_3)(int, const char*, int, int32_t*);
|
|
|
196
|
|
|
197 void test_pfwr4_3 (void)
|
|
|
198 {
|
|
|
199 pfwr4_3 (0, 0, 0, 0);
|
|
|
200
|
|
|
201 int32_t i;
|
|
|
202 pfwr4_3 (3, "", 0, &i + 1);
|
|
|
203 pfwr4_3 (5, "", 1, &i + 1); // { dg-warning "writing 4 bytes into a region of size 0" }
|
|
|
204 }
|
