blob: 9a998f020cb4a5538a6356ddd4ae211512127eb8 [file] [log] [blame]
Chandler Carruth929f0132011-06-03 06:23:57 +00001// RUN: %clang_cc1 -fsyntax-only -Wdynamic-class-memaccess -verify %s
Chandler Carruth7ccc95b2011-04-27 07:05:31 +00002
Douglas Gregore452c782011-05-03 18:11:37 +00003extern "C" void *memset(void *, int, unsigned);
Douglas Gregor06bc9eb2011-05-03 20:37:33 +00004extern "C" void *memmove(void *s1, const void *s2, unsigned n);
5extern "C" void *memcpy(void *s1, const void *s2, unsigned n);
Chandler Carruth7ccc95b2011-04-27 07:05:31 +00006
Chandler Carruth929f0132011-06-03 06:23:57 +00007// Several types that should not warn.
Chandler Carruth7ccc95b2011-04-27 07:05:31 +00008struct S1 {} s1;
9struct S2 { int x; } s2;
10struct S3 { float x, y; S1 s[4]; void (*f)(S1**); } s3;
11
Chandler Carruth43fa33b2011-04-29 09:46:08 +000012class C1 {
13 int x, y, z;
14public:
15 void foo() {}
16} c1;
17
Chandler Carruth929f0132011-06-03 06:23:57 +000018struct X1 { virtual void f(); } x1;
19struct X2 : virtual S1 {} x2;
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000020
21void test_warn() {
22 memset(&x1, 0, sizeof x1); // \
Douglas Gregor06bc9eb2011-05-03 20:37:33 +000023 // expected-warning {{destination for this 'memset' call is a pointer to dynamic class}} \
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000024 // expected-note {{explicitly cast the pointer to silence this warning}}
Chandler Carruth929f0132011-06-03 06:23:57 +000025 memset(&x2, 0, sizeof x2); // \
Douglas Gregor06bc9eb2011-05-03 20:37:33 +000026 // expected-warning {{destination for this 'memset' call is a pointer to dynamic class}} \
27 // expected-note {{explicitly cast the pointer to silence this warning}}
28
29 memmove(&x1, 0, sizeof x1); // \
Chandler Carruth929f0132011-06-03 06:23:57 +000030 // expected-warning{{destination for this 'memmove' call is a pointer to dynamic class}} \
Douglas Gregor06bc9eb2011-05-03 20:37:33 +000031 // expected-note {{explicitly cast the pointer to silence this warning}}
32 memmove(0, &x1, sizeof x1); // \
Chandler Carruth929f0132011-06-03 06:23:57 +000033 // expected-warning{{source of this 'memmove' call is a pointer to dynamic class}} \
Douglas Gregor06bc9eb2011-05-03 20:37:33 +000034 // expected-note {{explicitly cast the pointer to silence this warning}}
35 memcpy(&x1, 0, sizeof x1); // \
Chandler Carruth929f0132011-06-03 06:23:57 +000036 // expected-warning{{destination for this 'memcpy' call is a pointer to dynamic class}} \
Douglas Gregor06bc9eb2011-05-03 20:37:33 +000037 // expected-note {{explicitly cast the pointer to silence this warning}}
38 memcpy(0, &x1, sizeof x1); // \
Chandler Carruth929f0132011-06-03 06:23:57 +000039 // expected-warning{{source of this 'memcpy' call is a pointer to dynamic class}} \
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000040 // expected-note {{explicitly cast the pointer to silence this warning}}
Douglas Gregor707a23e2011-06-16 17:56:04 +000041
42 __builtin_memset(&x1, 0, sizeof x1); // \
43 // expected-warning {{destination for this '__builtin_memset' call is a pointer to dynamic class}} \
44 // expected-note {{explicitly cast the pointer to silence this warning}}
45 __builtin_memset(&x2, 0, sizeof x2); // \
46 // expected-warning {{destination for this '__builtin_memset' call is a pointer to dynamic class}} \
47 // expected-note {{explicitly cast the pointer to silence this warning}}
48
49 __builtin_memmove(&x1, 0, sizeof x1); // \
50 // expected-warning{{destination for this '__builtin_memmove' call is a pointer to dynamic class}} \
51 // expected-note {{explicitly cast the pointer to silence this warning}}
52 __builtin_memmove(0, &x1, sizeof x1); // \
53 // expected-warning{{source of this '__builtin_memmove' call is a pointer to dynamic class}} \
54 // expected-note {{explicitly cast the pointer to silence this warning}}
55 __builtin_memcpy(&x1, 0, sizeof x1); // \
56 // expected-warning{{destination for this '__builtin_memcpy' call is a pointer to dynamic class}} \
57 // expected-note {{explicitly cast the pointer to silence this warning}}
58 __builtin_memcpy(0, &x1, sizeof x1); // \
59 // expected-warning{{source of this '__builtin_memcpy' call is a pointer to dynamic class}} \
60 // expected-note {{explicitly cast the pointer to silence this warning}}
61
62 __builtin___memset_chk(&x1, 0, sizeof x1, sizeof x1); // \
63 // expected-warning {{destination for this '__builtin___memset_chk' call is a pointer to dynamic class}} \
64 // expected-note {{explicitly cast the pointer to silence this warning}}
65 __builtin___memset_chk(&x2, 0, sizeof x2, sizeof x2); // \
66 // expected-warning {{destination for this '__builtin___memset_chk' call is a pointer to dynamic class}} \
67 // expected-note {{explicitly cast the pointer to silence this warning}}
68
69 __builtin___memmove_chk(&x1, 0, sizeof x1, sizeof x1); // \
70 // expected-warning{{destination for this '__builtin___memmove_chk' call is a pointer to dynamic class}} \
71 // expected-note {{explicitly cast the pointer to silence this warning}}
72 __builtin___memmove_chk(0, &x1, sizeof x1, sizeof x1); // \
73 // expected-warning{{source of this '__builtin___memmove_chk' call is a pointer to dynamic class}} \
74 // expected-note {{explicitly cast the pointer to silence this warning}}
75 __builtin___memcpy_chk(&x1, 0, sizeof x1, sizeof x1); // \
76 // expected-warning{{destination for this '__builtin___memcpy_chk' call is a pointer to dynamic class}} \
77 // expected-note {{explicitly cast the pointer to silence this warning}}
78 __builtin___memcpy_chk(0, &x1, sizeof x1, sizeof x1); // \
79 // expected-warning{{source of this '__builtin___memcpy_chk' call is a pointer to dynamic class}} \
80 // expected-note {{explicitly cast the pointer to silence this warning}}
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000081}
82
Chandler Carruth134cb442011-04-27 18:48:59 +000083void test_nowarn(void *void_ptr) {
84 int i, *iptr;
85 float y;
86 char c;
87
88 memset(&i, 0, sizeof i);
89 memset(&iptr, 0, sizeof iptr);
90 memset(&y, 0, sizeof y);
91 memset(&c, 0, sizeof c);
92 memset(void_ptr, 0, 42);
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000093 memset(&s1, 0, sizeof s1);
94 memset(&s2, 0, sizeof s2);
95 memset(&s3, 0, sizeof s3);
Chandler Carruth43fa33b2011-04-29 09:46:08 +000096 memset(&c1, 0, sizeof c1);
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000097
98 // Unevaluated code shouldn't warn.
99 (void)sizeof memset(&x1, 0, sizeof x1);
100
101 // Dead code shouldn't warn.
102 if (false) memset(&x1, 0, sizeof x1);
103}
Douglas Gregore452c782011-05-03 18:11:37 +0000104
105namespace N {
106 void *memset(void *, int, unsigned);
107 void test_nowarn() {
108 N::memset(&x1, 0, sizeof x1);
109 }
110}
Douglas Gregor707a23e2011-06-16 17:56:04 +0000111
112