1 /* PR c/71924 - missing -Wreturn-local-addr returning alloca result
2 { dg-do compile }
3 { dg-options "-O2 -Wall" }
4 { dg-require-effective-target alloca } */
5
6 typedef __SIZE_TYPE__ size_t;
7
8 void* memcpy (void*, const void*, size_t);
9 void* mempcpy (void*, const void*, size_t);
10 void* memmove (void*, const void*, size_t);
11
12 char* stpcpy (char*, const char*);
13 char* stpncpy (char*, const char*, size_t);
14
15 size_t strlen (const char*);
16 size_t strnlen (const char*, size_t);
17
18 char* strcat (char*, const char*);
19 char* strncat (char*, const char*, size_t);
20
21 char* strcpy (char*, const char*);
22 char* strncpy (char*, const char*, size_t);
23
24 char* strdup (const char*);
25
26 char* strchr (const char*, int);
27 char* strrchr (const char*, int);
28 char* strstr (const char*, const char*);
29
30 void sink (void*, ...);
31
32
33 void* return_memcpy (const void *s, unsigned n)
34 {
35 char a[n]; /* { dg-message "declared here" } */
36 void *p = memcpy (a, s, n);
37 sink (p);
38 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
39 }
40
41 void* return_memcpy_cst (const void *s, unsigned n)
42 {
43 char a[n]; /* { dg-message "declared here" } */
44 void *p = memcpy (a + 1, s, n);
45 sink (p);
46 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
47 }
48
49 void* return_memcpy_var (const void *s, unsigned n, int i)
50 {
51 char a[n]; /* { dg-message "declared here" } */
52 void *p = memcpy (a + i, s, n);
53 sink (p);
54 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
55 }
56
57 void* return_mempcpy (const void *s, unsigned n)
58 {
59 char a[n]; /* { dg-message "declared here" } */
60 void *p = mempcpy (a, s, n);
61 sink (p);
62 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
63 }
64
65 void* return_memmove_cst (unsigned n)
66 {
67 char a[n]; /* { dg-message "declared here" } */
68 sink (a);
69 void *p = memmove (a + 1, a, n);
70 sink (p);
71 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
72 }
73
74 void* return_memmove_var (unsigned n, int i)
75 {
76 char a[n]; /* { dg-message "declared here" } */
77 sink (a);
78 void *p = memmove (a + i, a, n);
79 sink (p);
80 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
81 }
82
83 char* return_stpcpy (unsigned n, const char *s)
84 {
85 char a[n]; /* { dg-message "declared here" } */
86 char *p = stpcpy (a, s);
87 sink (p);
88 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
89 }
90
91 char* return_stpncpy (unsigned n, const char *s)
92 {
93 char a[n]; /* { dg-message "declared here" } */
94 char *p = stpncpy (a, s, n);
95 sink (p);
96 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
97 }
98
99 char* return_strcat (unsigned n, const char *s)
100 {
101 char a[n]; /* { dg-message "declared here" } */
102 sink (a);
103 char *p = strcat (a, s);
104 sink (p);
105 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
106 }
107
108 char* return_strncat (unsigned n, const char *s)
109 {
110 char a[n]; /* { dg-message "declared here" } */
111 sink (a);
112 char *p = strncat (a, s, n);
113 sink (p);
114 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
115
116 }
117 char* return_strcpy (unsigned n, const char *s)
118 {
119 char a[n]; /* { dg-message "declared here" } */
120 char *p = strcpy (a, s);
121 sink (p);
122 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
123 }
124
125 char* return_strcpy_plus_strlen (unsigned n, const char *s)
126 {
127 char a[n]; /* { dg-message "declared here" } */
128 char *p = strcpy (a, s);
129 sink (p);
130 p += strlen (p);
131 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
132 }
133
134 char* return_strcpy_cst_plus_strlen (unsigned n, const char *s)
135 {
136 char a[n]; /* { dg-message "declared here" } */
137 sink (a);
138 char *p = strcpy (a + 1, s);
139 sink (p);
140 p += strlen (p);
141 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
142 }
143
144 char* return_strcpy_var_plus_strlen (unsigned n, const char *s, int i)
145 {
146 char a[n]; /* { dg-message "declared here" } */
147 sink (a);
148 char *p = strcpy (a + i, s);
149 sink (p);
150 p += strlen (p);
151 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
152 }
153
154 char* return_strncpy (unsigned n, const char *s)
155 {
156 char a[n]; /* { dg-message "declared here" } */
157 char *p = strncpy (a, s, n);
158 sink (p);
159 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
160 }
161
162 char* return_strncpy_plus_strnlen (unsigned n, const char *s)
163 {
164 char a[n]; /* { dg-message "declared here" } */
165 char *p = strncpy (a, s, n);
166 p += strnlen (p, n);
167 sink (p);
168 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
169 }
170
171 char* return_strdup (unsigned n)
172 {
173 char a[n];
174 sink (a);
175 char *p = strdup (a);
176 return p;
177 }
178
179 char* return_strchr (unsigned n, int c)
180 {
181 char a[n]; /* { dg-message "declared here" } */
182 sink (a);
183 char *p = strchr (a, c);
184 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
185 }
186
187 char* return_strstr (unsigned n, const char *s)
188 {
189 char a[n]; /* { dg-message "declared here" } */
190 sink (a);
191 char *p = strstr (a, s);
192 if (p)
193 p += strlen (p);
194 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
195 }
196
197 char* return_strrchr (unsigned n, int c)
198 {
199 char a[n]; /* { dg-message "declared here" } */
200 sink (a);
201 char *p = strrchr (a, c);
202 return p; /* { dg-warning "\\\[-Wreturn-local-addr]" } */
203
204 }