test/SemaCXX/warn-bad-memaccess.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -Wdynamic-class-memaccess -verify %s
   2
   3 extern "C" void *memset(void *, int, unsigned);
   4 extern "C" void *memmove(void *s1, const void *s2, unsigned n);
   5 extern "C" void *memcpy(void *s1, const void *s2, unsigned n);
   6 extern "C" void *memcmp(void *s1, const void *s2, unsigned n);
   7
   8 // Several types that should not warn.
   9 struct S1 {} s1;
  10 struct S2 { int x; } s2;
  11 struct S3 { float x, y; S1 s[4]; void (*f)(S1**); } s3;
  12
  13 class C1 {
  14   int x, y, z;
  15 public:
  16   void foo() {}
  17 } c1;
  18
  19 struct X1 { virtual void f(); } x1;
  20 struct X2 : virtual S1 {} x2;
  21
  22 void test_warn() {
  23   memset(&x1, 0, sizeof x1); // \
  24       // expected-warning {{destination for this 'memset' call is a pointer to dynamic class}} \
  25       // expected-note {{explicitly cast the pointer to silence this warning}}
  26   memset(&x2, 0, sizeof x2); // \
  27       // expected-warning {{destination for this 'memset' call is a pointer to dynamic class}} \
  28       // expected-note {{explicitly cast the pointer to silence this warning}}
  29
  30   memmove(&x1, 0, sizeof x1); // \
  31       // expected-warning{{destination for this 'memmove' call is a pointer to dynamic class 'struct X1'; vtable pointer will be overwritten}} \
  32       // expected-note {{explicitly cast the pointer to silence this warning}}
  33   memmove(0, &x1, sizeof x1); // \
  34       // expected-warning{{source of this 'memmove' call is a pointer to dynamic class 'struct X1'; vtable pointer will be moved}} \
  35       // expected-note {{explicitly cast the pointer to silence this warning}}
  36   memcpy(&x1, 0, sizeof x1); // \
  37       // expected-warning{{destination for this 'memcpy' call is a pointer to dynamic class 'struct X1'; vtable pointer will be overwritten}} \
  38       // expected-note {{explicitly cast the pointer to silence this warning}}
  39   memcpy(0, &x1, sizeof x1); // \
  40       // expected-warning{{source of this 'memcpy' call is a pointer to dynamic class 'struct X1'; vtable pointer will be copied}} \
  41       // expected-note {{explicitly cast the pointer to silence this warning}}
  42   memcmp(&x1, 0, sizeof x1); // \
  43       // expected-warning{{first operand of this 'memcmp' call is a pointer to dynamic class 'struct X1'; vtable pointer will be compared}} \
  44       // expected-note {{explicitly cast the pointer to silence this warning}}
  45   memcmp(0, &x1, sizeof x1); // \
  46       // expected-warning{{second operand of this 'memcmp' call is a pointer to dynamic class 'struct X1'; vtable pointer will be compared}} \
  47       // expected-note {{explicitly cast the pointer to silence this warning}}
  48
  49   __builtin_memset(&x1, 0, sizeof x1); // \
  50       // expected-warning {{destination for this '__builtin_memset' call is a pointer to dynamic class}} \
  51       // expected-note {{explicitly cast the pointer to silence this warning}}
  52   __builtin_memset(&x2, 0, sizeof x2); // \
  53       // expected-warning {{destination for this '__builtin_memset' call is a pointer to dynamic class}} \
  54       // expected-note {{explicitly cast the pointer to silence this warning}}
  55
  56   __builtin_memmove(&x1, 0, sizeof x1); // \
  57       // expected-warning{{destination for this '__builtin_memmove' call is a pointer to dynamic class}} \
  58       // expected-note {{explicitly cast the pointer to silence this warning}}
  59   __builtin_memmove(0, &x1, sizeof x1); // \
  60       // expected-warning{{source of this '__builtin_memmove' call is a pointer to dynamic class}} \
  61       // expected-note {{explicitly cast the pointer to silence this warning}}
  62   __builtin_memcpy(&x1, 0, sizeof x1); // \
  63       // expected-warning{{destination for this '__builtin_memcpy' call is a pointer to dynamic class}} \
  64       // expected-note {{explicitly cast the pointer to silence this warning}}
  65   __builtin_memcpy(0, &x1, sizeof x1); // \
  66       // expected-warning{{source of this '__builtin_memcpy' call is a pointer to dynamic class}} \
  67       // expected-note {{explicitly cast the pointer to silence this warning}}
  68
  69   __builtin___memset_chk(&x1, 0, sizeof x1, sizeof x1); //                    \
  70       // expected-warning {{destination for this '__builtin___memset_chk' call is a pointer to dynamic class}} \
  71       // expected-note {{explicitly cast the pointer to silence this warning}}
  72   __builtin___memset_chk(&x2, 0, sizeof x2, sizeof x2); //                    \
  73       // expected-warning {{destination for this '__builtin___memset_chk' call is a pointer to dynamic class}} \
  74       // expected-note {{explicitly cast the pointer to silence this warning}}
  75
  76   __builtin___memmove_chk(&x1, 0, sizeof x1, sizeof x1); //                   \
  77       // expected-warning{{destination for this '__builtin___memmove_chk' call is a pointer to dynamic class}} \
  78       // expected-note {{explicitly cast the pointer to silence this warning}}
  79   __builtin___memmove_chk(0, &x1, sizeof x1, sizeof x1); //                   \
  80       // expected-warning{{source of this '__builtin___memmove_chk' call is a pointer to dynamic class}} \
  81       // expected-note {{explicitly cast the pointer to silence this warning}}
  82   __builtin___memcpy_chk(&x1, 0, sizeof x1, sizeof x1); //                    \
  83       // expected-warning{{destination for this '__builtin___memcpy_chk' call is a pointer to dynamic class}} \
  84       // expected-note {{explicitly cast the pointer to silence this warning}}
  85   __builtin___memcpy_chk(0, &x1, sizeof x1, sizeof x1); //                    \
  86       // expected-warning{{source of this '__builtin___memcpy_chk' call is a pointer to dynamic class}} \
  87       // expected-note {{explicitly cast the pointer to silence this warning}}
  88 }
  89
  90 void test_nowarn(void *void_ptr) {
  91   int i, *iptr;
  92   float y;
  93   char c;
  94
  95   memset(&i, 0, sizeof i);
  96   memset(&iptr, 0, sizeof iptr);
  97   memset(&y, 0, sizeof y);
  98   memset(&c, 0, sizeof c);
  99   memset(void_ptr, 0, 42);
 100   memset(&s1, 0, sizeof s1);
 101   memset(&s2, 0, sizeof s2);
 102   memset(&s3, 0, sizeof s3);
 103   memset(&c1, 0, sizeof c1);
 104
 105   // Unevaluated code shouldn't warn.
 106   (void)sizeof memset(&x1, 0, sizeof x1);
 107
 108   // Dead code shouldn't warn.
 109   if (false) memset(&x1, 0, sizeof x1);
 110 }
 111
 112 namespace N {
 113   void *memset(void *, int, unsigned);
 114   void test_nowarn() {
 115     N::memset(&x1, 0, sizeof x1);
 116   }
 117 }