Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/warn/Wplacement-new-size-5.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
// 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" } }