gcc/testsuite/g++.dg/warn/Wplacement-new-size-1.C

   1 // PR c++/69662 - -Wplacement-new on allocated one element array members
   2 // Exercising the more permissive -Wplacement-new=1.  The difference
   3 // between -Wplacement-new=1 is denoted by "no warning at level 1" in
   4 // the comments below.
   5 // { dg-do compile }
   6 // { dg-options "-Wno-pedantic -Wplacement-new=1" }
   7
   8 typedef __typeof__ (sizeof 0) size_t;
   9
  10 void* operator new (size_t, void *p) { return p; }
  11 void* operator new[] (size_t, void *p) { return p; }
  12
  13 struct Ax { char n, a []; };
  14 struct A0 { char n, a [0]; };
  15 struct A1 { char n, a [1]; };
  16 struct A2 { char n, a [2]; };
  17
  18 typedef __INT16_TYPE__ Int16;
  19 typedef __INT32_TYPE__ Int32;
  20
  21 void fAx (Ax *px, Ax &rx)
  22 {
  23   Ax ax;
  24   new (ax.a) Int32;    // { dg-warning "placement" }
  25   new (px->a) Int32;
  26   new (rx.a) Int32;
  27 }
  28
  29 void fAx2 ()
  30 {
  31   static Ax ax2 = { 1, { 2, 3 } };
  32
  33   new (ax2.a) Int16;
  34   new (ax2.a) Int32;    // { dg-warning "placement" }
  35 }
  36
  37 void fA0 (A0 *p0, A0 &r0)
  38 {
  39   A0 a0;
  40   new (a0.a) Int32;    // { dg-warning "placement" }
  41   new (p0->a) Int32;
  42   new (r0.a) Int32;
  43 }
  44
  45 void fA1 (A1 *p1, A1 &r1)
  46 {
  47   A1 a1;
  48   new (a1.a) Int32;    // { dg-warning "placement" }
  49   new (p1->a) Int32;   // no warning at level 1
  50   new (r1.a) Int32;    // no warning at level 1
  51 }
  52
  53 void fA2 (A2 *p2, A2 &r2)
  54 {
  55   A2 a2;
  56   new (a2.a) Int32;    // { dg-warning "placement" }
  57   new (p2->a) Int32;   // { dg-warning "placement" }
  58   new (r2.a) Int32;    // { dg-warning "placement" }
  59 }
  60
  61 struct BAx { int i; Ax ax; };
  62 struct BA0 { int i; A0 a0; };
  63 struct BA1 { int i; A1 a1; };
  64 struct BA2 { int i; A2 a2; };
  65
  66 void fBx (BAx *pbx, BAx &rbx)
  67 {
  68   BAx bax;
  69   new (bax.ax.a) char;     // { dg-warning "placement" }
  70   new (bax.ax.a) Int16;    // { dg-warning "placement" }
  71   new (bax.ax.a) Int32;    // { dg-warning "placement" }
  72
  73   new (pbx->ax.a) char;
  74   new (rbx.ax.a) char;
  75   new (pbx->ax.a) Int16;
  76   new (rbx.ax.a) Int16;
  77   new (pbx->ax.a) Int32;
  78   new (rbx.ax.a) Int32;
  79   new (pbx->ax.a) int[1234];
  80   new (rbx.ax.a) int[5678];
  81 }
  82
  83 void fBx1 ()
  84 {
  85   static BAx bax1 = { 1, /* Ax = */ { 2, /* a[] = */ {} } };
  86
  87   new (bax1.ax.a) char;     // { dg-warning "placement" }
  88   new (bax1.ax.a) char[2];  // { dg-warning "placement" }
  89   new (bax1.ax.a) Int16;    // { dg-warning "placement" }
  90   new (bax1.ax.a) Int32;    // { dg-warning "placement" }
  91 }
  92
  93 void fB0 (BA0 *pb0, BA0 &rb0)
  94 {
  95   BA0 ba0;
  96   new (ba0.a0.a) Int32;     // { dg-warning "placement" }
  97   new (pb0->a0.a) Int32;
  98   new (rb0.a0.a) Int32;
  99 }
 100
 101 void fB1 (BA1 *pb1, BA1 &rb1)
 102 {
 103   BA1 ba1;
 104   new (ba1.a1.a) Int32;     // { dg-warning "placement" }
 105   new (pb1->a1.a) Int32;    // no warning at level 1
 106   new (rb1.a1.a) Int32;     // no warning at level 1
 107 }
 108
 109 void fB2 (BA2 *pb2, BA2 &rb2)
 110 {
 111   BA2 ba2;
 112   new (ba2.a2.a) Int32;     // { dg-warning "placement" }
 113   new (pb2->a2.a) Int32;    // { dg-warning "placement" }
 114   new (rb2.a2.a) Int32;     // { dg-warning "placement" }
 115 }