1 // RUN: %clang_cc1 -Wstrlcpy-strlcat-size -verify -fsyntax-only %s
2
3 typedef __SIZE_TYPE__ size_t;
4 size_t strlcpy (char * restrict dst, const char * restrict src, size_t size);
5 size_t strlcat (char * restrict dst, const char * restrict src, size_t size);
6 size_t strlen (const char *s);
7
8 char s1[100];
9 char s2[200];
10 char * s3;
11
12 struct {
13 char f1[100];
14 char f2[100][3];
15 } s4, **s5;
16
17 int x;
18
f(void)19 void f(void)
20 {
21 strlcpy(s1, s2, sizeof(s1)); // no warning
22 strlcpy(s1, s2, sizeof(s2)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
23 strlcpy(s1, s3, strlen(s3)+1); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
24 strlcat(s2, s3, sizeof(s3)); // expected-warning {{size argument in 'strlcat' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
25 strlcpy(s4.f1, s2, sizeof(s2)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
26 strlcpy((*s5)->f2[x], s2, sizeof(s2)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
27 strlcpy(s1+3, s2, sizeof(s2)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}}
28 }
29
30 // Don't issue FIXIT for flexible arrays.
31 struct S {
32 int y;
33 char x[];
34 };
35
flexible_arrays(struct S * s)36 void flexible_arrays(struct S *s) {
37 char str[] = "hi";
38 strlcpy(s->x, str, sizeof(str)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}}
39 }
40
41 // Don't issue FIXIT for destinations of size 1.
size_1()42 void size_1() {
43 char z[1];
44 char str[] = "hi";
45
46 strlcpy(z, str, sizeof(str)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}}
47 }
48
49 // Support VLAs.
vlas(int size)50 void vlas(int size) {
51 char z[size];
52 char str[] = "hi";
53
54 strlcpy(z, str, sizeof(str)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} expected-note {{change size argument to be the size of the destination}}
55 }
56