|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2 // RUN: %clang_cc1 -fsyntax-only -triple x86_64-apple-darwin9 -verify %s
|
|
|
3 // RUN: %clang_cc1 -DDYNAMIC -fsyntax-only -triple x86_64-apple-darwin9 -verify %s
|
|
|
4
|
|
|
5 #ifndef DYNAMIC
|
|
|
6 #define OBJECT_SIZE_BUILTIN __builtin_object_size
|
|
|
7 #else
|
|
|
8 #define OBJECT_SIZE_BUILTIN __builtin_dynamic_object_size
|
|
|
9 #endif
|
|
|
10
|
|
|
11 int a[10];
|
|
|
12
|
|
|
13 int f0() {
|
|
|
14 return OBJECT_SIZE_BUILTIN(&a); // expected-error {{too few arguments to function}}
|
|
|
15 }
|
|
|
16 int f1() {
|
|
|
17 return (OBJECT_SIZE_BUILTIN(&a, 0) +
|
|
|
18 OBJECT_SIZE_BUILTIN(&a, 1) +
|
|
|
19 OBJECT_SIZE_BUILTIN(&a, 2) +
|
|
|
20 OBJECT_SIZE_BUILTIN(&a, 3));
|
|
|
21 }
|
|
|
22 int f2() {
|
|
|
23 return OBJECT_SIZE_BUILTIN(&a, -1); // expected-error {{argument value -1 is outside the valid range [0, 3]}}
|
|
|
24 }
|
|
|
25 int f3() {
|
|
|
26 return OBJECT_SIZE_BUILTIN(&a, 4); // expected-error {{argument value 4 is outside the valid range [0, 3]}}
|
|
|
27 }
|
|
|
28
|
|
|
29
|
|
|
30 // rdar://6252231 - cannot call vsnprintf with va_list on x86_64
|
|
|
31 void f4(const char *fmt, ...) {
|
|
|
32 __builtin_va_list args;
|
|
|
33 __builtin___vsnprintf_chk (0, 42, 0, 11, fmt, args); // expected-warning {{'vsnprintf' will always overflow; destination buffer has size 11, but size argument is 42}}
|
|
|
34 }
|
|
|
35
|
|
|
36 // rdar://18334276
|
|
|
37 typedef __typeof__(sizeof(int)) size_t;
|
|
|
38 void * memcset(void *restrict dst, int src, size_t n);
|
|
|
39 void * memcpy(void *restrict dst, const void *restrict src, size_t n);
|
|
|
40
|
|
|
41 #define memset(dest, src, len) __builtin___memset_chk(dest, src, len, OBJECT_SIZE_BUILTIN(dest, 0))
|
|
|
42 #define memcpy(dest, src, len) __builtin___memcpy_chk(dest, src, len, OBJECT_SIZE_BUILTIN(dest, 0))
|
|
|
43 #define memcpy1(dest, src, len) __builtin___memcpy_chk(dest, src, len, OBJECT_SIZE_BUILTIN(dest, 4))
|
|
|
44 #define NULL ((void *)0)
|
|
|
45
|
|
|
46 void f5(void)
|
|
|
47 {
|
|
|
48 char buf[10];
|
|
|
49 memset((void *)0x100000000ULL, 0, 0x1000);
|
|
|
50 memcpy((char *)NULL + 0x10000, buf, 0x10);
|
|
|
51 memcpy1((char *)NULL + 0x10000, buf, 0x10); // expected-error {{argument value 4 is outside the valid range [0, 3]}}
|
|
|
52 }
|
|
|
53
|
|
|
54 // rdar://18431336
|
|
|
55 void f6(void)
|
|
|
56 {
|
|
|
57 char b[5];
|
|
|
58 char buf[10];
|
|
|
59 __builtin___memccpy_chk (buf, b, '\0', sizeof(b), OBJECT_SIZE_BUILTIN (buf, 0));
|
|
|
60 __builtin___memccpy_chk (b, buf, '\0', sizeof(buf), OBJECT_SIZE_BUILTIN (b, 0)); // expected-warning {{'memccpy' will always overflow; destination buffer has size 5, but size argument is 10}}
|
|
|
61 }
|
|
|
62
|
|
|
63 int pr28314(void) {
|
|
|
64 struct {
|
|
|
65 struct InvalidField a; // expected-error{{has incomplete type}} expected-note 3{{forward declaration of 'struct InvalidField'}}
|
|
|
66 char b[0];
|
|
|
67 } *p;
|
|
|
68
|
|
|
69 struct {
|
|
|
70 struct InvalidField a; // expected-error{{has incomplete type}}
|
|
|
71 char b[1];
|
|
|
72 } *p2;
|
|
|
73
|
|
|
74 struct {
|
|
|
75 struct InvalidField a; // expected-error{{has incomplete type}}
|
|
|
76 char b[2];
|
|
|
77 } *p3;
|
|
|
78
|
|
|
79 int a = 0;
|
|
|
80 a += OBJECT_SIZE_BUILTIN(&p->a, 0);
|
|
|
81 a += OBJECT_SIZE_BUILTIN(p->b, 0);
|
|
|
82 a += OBJECT_SIZE_BUILTIN(p2->b, 0);
|
|
|
83 a += OBJECT_SIZE_BUILTIN(p3->b, 0);
|
|
|
84 return a;
|
|
|
85 }
|
|
|
86
|
|
|
87 int pr31843() {
|
|
|
88 int n = 0;
|
|
|
89
|
|
|
90 struct { int f; } a;
|
|
|
91 int b;
|
|
|
92 n += OBJECT_SIZE_BUILTIN(({&(b ? &a : &a)->f; pr31843;}), 0); // expected-warning{{expression result unused}}
|
|
|
93
|
|
|
94 struct statfs { char f_mntonname[1024];};
|
|
|
95 struct statfs *outStatFSBuf;
|
|
|
96 n += OBJECT_SIZE_BUILTIN(outStatFSBuf->f_mntonname ? "" : "", 1); // expected-warning{{address of array}}
|
|
|
97 n += OBJECT_SIZE_BUILTIN(outStatFSBuf->f_mntonname ?: "", 1);
|
|
|
98
|
|
|
99 return n;
|
|
|
100 }
|
|
|
101
|
|
|
102 typedef struct {
|
|
|
103 char string[512];
|
|
|
104 } NestedArrayStruct;
|
|
|
105
|
|
|
106 typedef struct {
|
|
|
107 int x;
|
|
|
108 NestedArrayStruct session[];
|
|
|
109 } IncompleteArrayStruct;
|
|
|
110
|
|
|
111 void rd36094951_IAS_builtin_object_size_assertion(IncompleteArrayStruct *p) {
|
|
|
112 #define rd36094951_CHECK(mode) \
|
|
|
113 __builtin___strlcpy_chk(p->session[0].string, "ab", 2, \
|
|
|
114 OBJECT_SIZE_BUILTIN(p->session[0].string, mode))
|
|
|
115 rd36094951_CHECK(0);
|
|
|
116 rd36094951_CHECK(1);
|
|
|
117 rd36094951_CHECK(2);
|
|
|
118 rd36094951_CHECK(3);
|
|
|
119 }
|
