131
|
1 /* Verify that
|
|
2 { dg-do compile }
|
|
3 { dg-options "-O2 -Wstringop-truncation -Wno-stringop-overflow -ftrack-macro-expansion=0" } */
|
|
4
|
|
5 typedef __SIZE_TYPE__ size_t;
|
|
6
|
|
7 #define stpncpy(d, s, n) __builtin_stpncpy ((d), (s), (n))
|
|
8 #define strncpy(d, s, n) __builtin_stpncpy ((d), (s), (n))
|
|
9
|
|
10 void sink (void*);
|
|
11
|
|
12 struct A {
|
|
13 char arr[3] __attribute__ ((nonstring));
|
|
14 char str[3];
|
|
15 };
|
|
16
|
|
17 struct B { struct A a[3]; int i; };
|
|
18 struct C { struct B b[3]; int i; };
|
|
19
|
|
20 void stpncpy_arr_1 (struct C *pc, const char *s)
|
|
21 {
|
|
22 stpncpy (pc->b[0].a[0].arr, s, sizeof pc->b[0].a[0].arr);
|
|
23 sink (pc->b[0].a[0].arr);
|
|
24
|
|
25 stpncpy (pc->b[0].a[1].arr, s, sizeof pc->b[0].a[1].arr);
|
|
26 sink (pc->b[0].a[1].arr);
|
|
27
|
|
28 stpncpy (pc->b[0].a[2].arr, s, sizeof pc->b[0].a[2].arr);
|
|
29 sink (pc->b[0].a[2].arr);
|
|
30
|
|
31 stpncpy (pc->b[1].a[0].arr, s, sizeof pc->b[1].a[0].arr);
|
|
32 sink (pc->b[1].a[0].arr);
|
|
33
|
|
34 stpncpy (pc->b[1].a[1].arr, s, sizeof pc->b[1].a[1].arr);
|
|
35 sink (pc->b[1].a[1].arr);
|
|
36
|
|
37 stpncpy (pc->b[1].a[2].arr, s, sizeof pc->b[1].a[2].arr);
|
|
38 sink (pc->b[1].a[2].arr);
|
|
39
|
|
40 stpncpy (pc->b[2].a[0].arr, s, sizeof pc->b[2].a[0].arr);
|
|
41 sink (pc->b[2].a[0].arr);
|
|
42
|
|
43 stpncpy (pc->b[2].a[1].arr, s, sizeof pc->b[2].a[1].arr);
|
|
44 sink (pc->b[2].a[1].arr);
|
|
45
|
|
46 stpncpy (pc->b[2].a[2].arr, s, sizeof pc->b[2].a[2].arr);
|
|
47 sink (pc->b[2].a[2].arr);
|
|
48 }
|
|
49
|
|
50 void stpncpy_str_nowarn_1 (struct C *pc, const char *s)
|
|
51 {
|
|
52 stpncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str)[-1] = 0; /* { dg-bogus "\\\[-Wstringop-truncation" } */
|
|
53 }
|
|
54
|
|
55 void stpncpy_str_nowarn_2 (struct C *pc, const char *s)
|
|
56 {
|
|
57 *stpncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str - 1) = 0; /* { dg-bogus "\\\[-Wstringop-truncation" } */
|
|
58 }
|
|
59
|
|
60 void stpncpy_str_nowarn_3 (struct C *pc, const char *s)
|
|
61 {
|
|
62 char *d = stpncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str); /* { dg-bogus "\\\[-Wstringop-truncation" } */
|
|
63
|
|
64 d[-1] = 0;
|
|
65 }
|
|
66
|
|
67 void stpncpy_str_nowarn_4 (struct C *pc, const char *s)
|
|
68 {
|
|
69 char *d = stpncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str - 1); /* { dg-bogus "\\\[-Wstringop-truncation" } */
|
|
70
|
|
71 *d = 0;
|
|
72 }
|
|
73
|
|
74 void strncpy_arr_1 (struct C *pc, const char *s)
|
|
75 {
|
|
76 strncpy (pc->b[0].a[0].arr, s, sizeof pc->b[0].a[0].arr);
|
|
77 sink (pc->b[0].a[0].arr);
|
|
78
|
|
79 strncpy (pc->b[0].a[1].arr, s, sizeof pc->b[0].a[1].arr);
|
|
80 sink (pc->b[0].a[1].arr);
|
|
81
|
|
82 strncpy (pc->b[0].a[2].arr, s, sizeof pc->b[0].a[2].arr);
|
|
83 sink (pc->b[0].a[2].arr);
|
|
84 }
|
|
85
|
|
86 void strncpy_str_nowarn_1 (struct C *pc, const char *s)
|
|
87 {
|
|
88 strncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str); /* { dg-bogus "\\\[-Wstringop-truncation" } */
|
|
89
|
|
90 pc->b[0].a[0].str[sizeof pc->b[0].a[0].str - 1] = 0;
|
|
91 }
|
|
92
|
|
93 void strncpy_str_warn_1 (struct C *pc, const char *s)
|
|
94 {
|
|
95 strncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str); /* { dg-warning "specified bound 3 equals destination size" } */
|
|
96
|
|
97 pc->b[1].a[0].str[sizeof pc->b[0].a[0].str - 1] = 0;
|
|
98 }
|
|
99
|
|
100 void strncpy_str_warn_2 (struct C *pc, const char *s)
|
|
101 {
|
|
102 strncpy (pc->b[0].a[0].str, s, sizeof pc->b[0].a[0].str); /* { dg-warning "specified bound 3 equals destination size" } */
|
|
103
|
|
104 pc->b[0].a[1].str[sizeof pc->b[0].a[0].str - 1] = 0;
|
|
105 }
|