|
131
|
1 /* Test to verify that valid calls to common restrict-qualified built-in
|
|
|
2 functions declared with no prototype are checked for overlap, and that
|
|
|
3 invalid calls are ignored.
|
|
|
4 { dg-do compile }
|
|
|
5 { dg-options "-O2 -Wrestrict" } */
|
|
|
6
|
|
|
7 typedef __SIZE_TYPE__ size_t;
|
|
|
8
|
|
|
9 #if __cplusplus
|
|
|
10 extern "C" {
|
|
|
11
|
|
|
12 #define NO_PROTO ...
|
|
|
13 #else
|
|
|
14 #define NO_PROTO /* empty */
|
|
|
15 #endif
|
|
|
16
|
|
|
17 void* memcpy ();
|
|
|
18 char* strncpy ();
|
|
|
19
|
|
|
20 #if __cplusplus
|
|
|
21 } /* extern "C" */
|
|
|
22 #endif
|
|
|
23
|
|
|
24 void test_memcpy_warn (char *d)
|
|
|
25 {
|
|
|
26 memcpy (d, d + 2, 3); /* { dg-warning "accessing 3 bytes at offsets 0 and 2 overlaps 1 byte at offset 2" } */
|
|
|
27 }
|
|
|
28
|
|
|
29 void test_memcpy_nowarn (char *d)
|
|
|
30 {
|
|
|
31 memcpy (d, d + 2, "");
|
|
|
32 }
|
|
|
33
|
|
|
34
|
|
|
35 void test_strncpy_warn (char *d)
|
|
|
36 {
|
|
|
37 strncpy (d + 1, d + 3, 5); /* { dg-warning "accessing 5 bytes at offsets 1 and 3 overlaps 2 bytes at offset 3" } */
|
|
|
38 }
|
|
|
39
|
|
|
40 void test_strncpy_nowarn (char *d)
|
|
|
41 {
|
|
|
42 strncpy (d + 1, d + 3, "");
|
|
|
43 }
|
