blob: e7d095f0edcefb2375a03791dd2f9cef8c23ca6e [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}}
41}
42
Chandler Carruth134cb442011-04-27 18:48:59 +000043void test_nowarn(void *void_ptr) {
44 int i, *iptr;
45 float y;
46 char c;
47
48 memset(&i, 0, sizeof i);
49 memset(&iptr, 0, sizeof iptr);
50 memset(&y, 0, sizeof y);
51 memset(&c, 0, sizeof c);
52 memset(void_ptr, 0, 42);
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000053 memset(&s1, 0, sizeof s1);
54 memset(&s2, 0, sizeof s2);
55 memset(&s3, 0, sizeof s3);
Chandler Carruth43fa33b2011-04-29 09:46:08 +000056 memset(&c1, 0, sizeof c1);
Chandler Carruth7ccc95b2011-04-27 07:05:31 +000057
58 // Unevaluated code shouldn't warn.
59 (void)sizeof memset(&x1, 0, sizeof x1);
60
61 // Dead code shouldn't warn.
62 if (false) memset(&x1, 0, sizeof x1);
63}
Douglas Gregore452c782011-05-03 18:11:37 +000064
65namespace N {
66 void *memset(void *, int, unsigned);
67 void test_nowarn() {
68 N::memset(&x1, 0, sizeof x1);
69 }
70}