gcc/testsuite/g++.dg/Wclass-memaccess-2.C

   1 // PR c++/81169 - -Wclass-memaccess illegitimate warning related to volatile
   2 // { dg-do compile }
   3 // { dg-options "-Wclass-memaccess" }
   4
   5 struct S { int x; };
   6
   7 void cast_const (const S *p)
   8 {
   9   __builtin_memset (const_cast<S*>(p), 0, sizeof *p);
  10 }
  11
  12 void cast_volatile (volatile S *p)
  13 {
  14   __builtin_memset (const_cast<S*>(p), 0, sizeof *p);
  15 }
  16
  17 void cast_const_volatile (const volatile S *p)
  18 {
  19   __builtin_memset (const_cast<S*>(p), 0, sizeof *p);
  20 }
  21
  22 void c_cast_const_volatile (const volatile S *p)
  23 {
  24   __builtin_memset ((S*)p, 0, sizeof *p);
  25 }
  26
  27 // A C cast to void* suppresses the warning because it casts away
  28 // the qualifiers from the otherwise trivial pointed-to type..
  29 void c_void_cast_const_volatile (const volatile S *p)
  30 {
  31   __builtin_memset ((void*)p, 0, sizeof *p);
  32 }
  33
  34 // Also verify that casting to char* suppresses the warning for
  35 // non-trivial types.
  36
  37 struct NonTrivial
  38 {
  39   NonTrivial ();
  40   NonTrivial (const NonTrivial&);
  41   NonTrivial& operator= (const NonTrivial&);
  42   ~NonTrivial ();
  43 };
  44
  45 void cast_void (NonTrivial *p)
  46 {
  47   __builtin_memset (reinterpret_cast<char*>(p), 0, sizeof *p);
  48 }
  49
  50 // A C cast to a character (or any trivial) type suppresses the warning.
  51 void c_cast_uchar (NonTrivial *p)
  52 {
  53   __builtin_memset ((unsigned char*)p, 0, sizeof *p);
  54 }
  55
  56 void c_cast_void (NonTrivial *p)
  57 {
  58   __builtin_memset ((void*)p, 0, sizeof *p);   // { dg-bogus "\\\[-Wclass-memaccess]" }
  59 }