Mercurial > hg > CbC > CbC_gcc

diff gcc/testsuite/g++.dg/warn/Wplacement-new-size-5.C @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/warn/Wplacement-new-size-5.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,242 @@
+// PR c++/83058 - ICE on C++ code with negative array index: in
+// warn_placement_new_too_small
+// { dg-do compile }
+// { dg-additional-options "-Wplacement-new -Wno-pedantic" }
+// { dg-require-effective-target alloca }
+
+#define SIZE_MAX   __SIZE_MAX__
+#define DIFF_MAX   __PTRDIFF_MAX__
+#define DIFF_MIN   (-DIFF_MAX - 1)
+
+void* operator new (__SIZE_TYPE__ n, void *p) { return p; }
+void* operator new[] (__SIZE_TYPE__ n, void *p) { return p; }
+
+struct A { };
+
+char carr[2];
+int iarr[2];
+
+struct C0 { char i, carr[0]; };
+struct I0 { int i, iarr[0]; };
+struct CX { char i, carr[]; };
+struct IX { int i, iarr[]; };
+
+void test_single (C0 *pc, CX *qc, I0 *pi, IX *qi, int n)
+{
+  new (&carr[DIFF_MIN]) A ();       // { dg-warning "placement new constructing an object of type .A. and size .1. in a region of type .char \\\[2]. and size .0." }
+  new (&carr[-1]) A;                // { dg-warning "\\\[-Wplacement-new" }
+  new (carr -1 ) A;                 // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[0]) A;
+  new (carr) A;
+  new (&carr[1]) A;
+  new (carr + 1) A;
+  new (&carr[n]) A;
+  new (carr + n) A;
+  new (&carr[DIFF_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (carr + DIFF_MAX) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[SIZE_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (carr + SIZE_MAX) A;          // { dg-warning "\\\[-Wplacement-new" }
+
+  new (&pc->carr[DIFF_MIN]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[-1]) A;            // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[0]) A;
+  new (&pc->carr[9]) A;
+  new (&pc->carr[n]) A;
+  new (&pc->carr[DIFF_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[SIZE_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    /* The highest index at which a single A can be constructed.  */
+    enum { MAX = DIFF_MAX - sizeof *pc - sizeof (A) };
+    new (&pc->carr[MAX]) A;
+    new (&pc->carr[MAX + 1]) A;     // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qc->carr[DIFF_MIN]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[-1]) A;            // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[0]) A;
+  new (&qc->carr[9]) A;
+  new (&qc->carr[n]) A;
+  new (&qc->carr[DIFF_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[SIZE_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    /* The highest index at which a single A can be constructed.  */
+    enum { MAX = DIFF_MAX - sizeof *qc - sizeof (A) };
+    new (&qc->carr[MAX]) A;
+    new (&qc->carr[MAX + 1]) A;     // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&pi->iarr[DIFF_MIN]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[-1]) A;            // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[0]) A;
+  new (&pi->iarr[9]) A;
+  new (&pi->iarr[n]) A;
+  new (&pi->iarr[DIFF_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[SIZE_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *pi) / sizeof *pi->iarr };
+    new (&pi->iarr[MAX]) A;
+    new (&pi->iarr[MAX + 1]) A;     // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qi->iarr[DIFF_MIN]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[-1]) A;            // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[0]) A;
+  new (&qi->iarr[9]) A;
+  new (&qi->iarr[n]) A;
+  new (&qi->iarr[DIFF_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[SIZE_MAX]) A;      // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *qi) / sizeof *qi->iarr };
+    new (&qi->iarr[MAX]) A;
+    new (&qi->iarr[MAX + 1]) A;     // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&iarr[DIFF_MIN]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[-1]) A;                // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[1]) A;
+  new (&iarr[n]) A;
+  new (&iarr[DIFF_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[SIZE_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+}
+
+void test_array_1 (C0 *pc, CX *qc, I0 *pi, IX *qi)
+{
+  enum { N = 1 };
+
+  new (&carr[DIFF_MIN]) A[N];       // { dg-warning "placement new constructing an object of type .A \\\[\[0-9\]+]. and size .\[0-9\]+. in a region of type .char \\\[2]. and size .0." }
+  new (&carr[-1]) A[N];             // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[DIFF_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[SIZE_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+
+  new (&pc->carr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = DIFF_MAX - sizeof *pc - sizeof (A[N]) };
+    new (&pc->carr[MAX]) A[N];
+    new (&pc->carr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qc->carr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = DIFF_MAX - sizeof *qc - sizeof (A[N]) };
+    new (&qc->carr[MAX]) A[N];
+    new (&qc->carr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&pi->iarr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *pi) / sizeof *pi->iarr };
+    new (&pi->iarr[MAX]) A[N];
+    new (&pi->iarr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qi->iarr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *qi) / sizeof *qi->iarr };
+    new (&qi->iarr[MAX]) A[N];
+    new (&qi->iarr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&iarr[DIFF_MIN]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[-1]) A[N];             // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[DIFF_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[SIZE_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+}
+
+
+void test_array_3 (C0 *pc, CX *qc, I0 *pi, IX *qi)
+{
+  enum { N = 3 };
+
+  new (&carr[DIFF_MIN]) A[N];       // { dg-warning "placement new constructing an object of type .A \\\[\[0-9\]+]. and size .\[0-9\]+. in a region of type .char \\\[2]. and size .0." }
+  new (&carr[-1]) A[N];             // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[DIFF_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&carr[SIZE_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+
+  new (&pc->carr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pc->carr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = DIFF_MAX - sizeof *pc - sizeof (A[N]) };
+    new (&pc->carr[MAX]) A[N];
+    new (&pc->carr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qc->carr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qc->carr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = DIFF_MAX - sizeof *qc - sizeof (A[N]) };
+    new (&qc->carr[MAX]) A[N];
+    new (&qc->carr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&pi->iarr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&pi->iarr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *pi) / sizeof *pi->iarr };
+    new (&pi->iarr[MAX]) A[N];
+    new (&pi->iarr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&qi->iarr[DIFF_MIN]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[-1]) A[N];         // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[DIFF_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+  new (&qi->iarr[SIZE_MAX]) A[N];   // { dg-warning "\\\[-Wplacement-new" }
+
+  {
+    enum { MAX = (DIFF_MAX - sizeof *qi) / sizeof *qi->iarr };
+    new (&qi->iarr[MAX]) A[N];
+    new (&qi->iarr[MAX + 1]) A[N];  // { dg-warning "\\\[-Wplacement-new" }
+  }
+
+  new (&iarr[DIFF_MIN]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[-1]) A[N];             // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[DIFF_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+  new (&iarr[SIZE_MAX]) A[N];       // { dg-warning "\\\[-Wplacement-new" }
+}
+
+
+void test_vla (unsigned n)
+{
+  char cvla[n];
+
+  new (&cvla[DIFF_MIN]) A;          // { dg-warning "placement new constructing an object of type .A. and size .1. in a region of type .char \\\[n]. and size .0." }
+  new (&cvla[-1]) A;                // { dg-warning "\\\[-Wplacement-new" }
+  new (cvla -1) A;                  // { dg-warning "\\\[-Wplacement-new" }
+  new (&cvla[0]) A;
+  new (&cvla[9]) A;
+  new (&cvla[n - 1]) A;
+  new (cvla + n - 1) A;
+  new (&cvla[DIFF_MAX - 1]) A;
+  new (&cvla[DIFF_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (cvla + DIFF_MAX) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (&cvla[SIZE_MAX]) A;          // { dg-warning "\\\[-Wplacement-new" }
+  new (cvla + SIZE_MAX) A;          // { dg-warning "\\\[-Wplacement-new" }
+}