|
131
|
1 /* PR middle-end/84725 - enable attribute nonstring for all narrow character
|
|
|
2 types
|
|
|
3 Verify that using attribute nonstring with all three narrow character
|
|
|
4 types is accepted and using arrays and pointers to characters of all
|
|
|
5 three types (including their qualified forms) declared with the
|
|
|
6 attributes doesn't trigger -Wstringop-truncation warnings.
|
|
|
7 { dg-do compile }
|
|
|
8 { dg-options "-O -Wall -Wstringop-truncation" } */
|
|
|
9
|
|
|
10 #if __cplusplus
|
|
|
11 extern "C"
|
|
|
12 #endif
|
|
|
13 char* strncpy (char*, const char*, __SIZE_TYPE__);
|
|
|
14
|
|
|
15 #define NONSTR __attribute__ ((nonstring))
|
|
|
16
|
|
|
17 #define S "1234"
|
|
|
18
|
|
|
19 struct Arrays
|
|
|
20 {
|
|
|
21 char NONSTR a[4];
|
|
|
22 signed char NONSTR b[4];
|
|
|
23 unsigned char NONSTR c[4];
|
|
|
24 };
|
|
|
25
|
|
|
26 void test_arrays (struct Arrays *p, const char *s)
|
|
|
27 {
|
|
|
28 strncpy (p->a, s, sizeof p->a);
|
|
|
29 strncpy ((char*)p->b, s, sizeof p->b);
|
|
|
30 strncpy ((char*)p->c, s, sizeof p->c);
|
|
|
31 }
|
|
|
32
|
|
|
33 struct Pointers
|
|
|
34 {
|
|
|
35 char NONSTR *p;
|
|
|
36 signed char NONSTR *q;
|
|
|
37 unsigned char NONSTR *r;
|
|
|
38 };
|
|
|
39
|
|
|
40 void test_pointers (struct Pointers *p)
|
|
|
41 {
|
|
|
42 strncpy (p->p, S, sizeof S - 1);
|
|
|
43 strncpy ((char*)p->q, S, sizeof S - 1);
|
|
|
44 strncpy ((char*)p->r, S, sizeof S - 1);
|
|
|
45 }
|
|
|
46
|
|
|
47 struct ConstArrays
|
|
|
48 {
|
|
|
49 const char NONSTR a[4];
|
|
|
50 const signed char NONSTR b[4];
|
|
|
51 const unsigned char NONSTR c[4];
|
|
|
52 };
|
|
|
53
|
|
|
54 void test_const_arrays (struct ConstArrays *p, const char *s)
|
|
|
55 {
|
|
|
56 strncpy ((char*)p->a, s, sizeof p->a);
|
|
|
57 strncpy ((char*)p->b, s, sizeof p->b);
|
|
|
58 strncpy ((char*)p->c, s, sizeof p->c);
|
|
|
59 }
|
|
|
60
|
|
|
61 struct ConstPointers
|
|
|
62 {
|
|
|
63 const char NONSTR *p;
|
|
|
64 const signed char NONSTR *q;
|
|
|
65 const unsigned char NONSTR *r;
|
|
|
66 };
|
|
|
67
|
|
|
68 void test_const_pointers (struct ConstPointers *p)
|
|
|
69 {
|
|
|
70 strncpy ((char*)p->p, S, sizeof S - 1);
|
|
|
71 strncpy ((char*)p->q, S, sizeof S - 1);
|
|
|
72 strncpy ((char*)p->r, S, sizeof S - 1);
|
|
|
73 }
|
|
|
74
|
|
|
75 struct VolatileArrays
|
|
|
76 {
|
|
|
77 volatile char NONSTR a[4];
|
|
|
78 volatile signed char NONSTR b[4];
|
|
|
79 volatile unsigned char NONSTR c[4];
|
|
|
80 };
|
|
|
81
|
|
|
82 void test_volatile_arrays (struct VolatileArrays *p, const char *s)
|
|
|
83 {
|
|
|
84 strncpy ((char*)p->a, s, sizeof p->a);
|
|
|
85 strncpy ((char*)p->b, s, sizeof p->b);
|
|
|
86 strncpy ((char*)p->c, s, sizeof p->c);
|
|
|
87 }
|
|
|
88
|
|
|
89 struct VolatilePointers
|
|
|
90 {
|
|
|
91 volatile char NONSTR *p;
|
|
|
92 volatile signed char NONSTR *q;
|
|
|
93 volatile unsigned char NONSTR *r;
|
|
|
94 };
|
|
|
95
|
|
|
96 void test_volatile_pointers (struct VolatilePointers *p)
|
|
|
97 {
|
|
|
98 strncpy ((char*)p->p, S, sizeof S - 1);
|
|
|
99 strncpy ((char*)p->q, S, sizeof S - 1);
|
|
|
100 strncpy ((char*)p->r, S, sizeof S - 1);
|
|
|
101 }
|
|
|
102
|
|
|
103 struct ConstVolatileArrays
|
|
|
104 {
|
|
|
105 const volatile char NONSTR a[4];
|
|
|
106 const volatile signed char NONSTR b[4];
|
|
|
107 const volatile unsigned char NONSTR c[4];
|
|
|
108 };
|
|
|
109
|
|
|
110 void test_const_volatile_arrays (struct ConstVolatileArrays *p, const char *s)
|
|
|
111 {
|
|
|
112 strncpy ((char*)p->a, s, sizeof p->a);
|
|
|
113 strncpy ((char*)p->b, s, sizeof p->b);
|
|
|
114 strncpy ((char*)p->c, s, sizeof p->c);
|
|
|
115 }
|
|
|
116
|
|
|
117 struct ConstVolatilePointers
|
|
|
118 {
|
|
|
119 const volatile char NONSTR *p;
|
|
|
120 const volatile signed char NONSTR *q;
|
|
|
121 const volatile unsigned char NONSTR *r;
|
|
|
122 };
|
|
|
123
|
|
|
124 void test_const_volatile_pointers (struct ConstVolatilePointers *p)
|
|
|
125 {
|
|
|
126 strncpy ((char*)p->p, S, sizeof S - 1);
|
|
|
127 strncpy ((char*)p->q, S, sizeof S - 1);
|
|
|
128 strncpy ((char*)p->r, S, sizeof S - 1);
|
|
|
129 }
|
|
|
130
|
|
|
131 /* { dg-prune-output "-Wdiscarded-qualifiers" } */
|
