Mercurial > hg > CbC > CbC_gcc
diff gcc/testsuite/g++.dg/warn/Warray-bounds-8.C @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/g++.dg/warn/Warray-bounds-8.C Thu Feb 13 11:34:05 2020 +0900 @@ -0,0 +1,389 @@ +/* PR middle-end/91458 - inconsistent warning for writing past the end + of an array member + See Wstringop-overflow-3.C for the same test that exercises the other + warning. + { dg-do compile } + { dg-options "-O2 -Wall -Wno-stringop-overflow" } + { dg-skip-if "" { *-*-aix* } } */ + +void sink (void*); + +// Exercise flexible array members. + +struct Ax +{ + char n; + char a[]; // { dg-message "while referencing .Ax::a." } +}; + +// Verify warning for a definition with no initializer. +Ax ax_; + +void gax_ () +{ + ax_.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that doesn't +// initialize the flexible array member. +Ax ax0 = { 0 }; + +void gax0 () +{ + ax0.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax0.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax0.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the flexible array member to empty. +Ax ax0_ = { 0, { } }; + +void gax0_ () +{ + ax0_.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax0_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax0_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for out-of-bounds accesses to a definition with +// an initializer. +Ax ax1 = { 1, { 0 } }; + +void gax1 () +{ + ax1.a[0] = 0; + ax1.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + ax1.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +Ax ax2 = { 2, { 1, 0 } }; + +void gax2 () +{ + ax2.a[0] = 0; + ax2.a[1] = 0; + ax2.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Verify no warning for an unknown struct object. +void gaxp (Ax *p) +{ + p->a[0] = 0; + p->a[3] = 0; + p->a[9] = 0; +} + + +// Verify no warning for an extern struct object whose array may be +// initialized to any number of elements. +extern Ax axx; + +void gaxx () +{ + axx.a[0] = 0; + axx.a[3] = 0; + axx.a[9] = 0; +} + +// Exercise zero-length array members. + +struct A0 +{ + char n; + char a[0]; // { dg-message "while referencing .A0::a." } +}; + +// Verify warning for a definition with no initializer. +A0 a0_; + +void ga0_ () +{ + a0_.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + a0_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a0_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that doesn't +// initialize the flexible array member. +A0 a00 = { 0 }; + +void ga00 () +{ + a00.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + a00.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a00.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the flexible array member to empty. +A0 a00_ = { 0, { } }; + +void ga00_ () +{ + a00_.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + a00_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a00_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// The following are rejected with +// error: too many initializers for 'char [0]' +// A0 a01 = { 1, { 0 } }; +// A0 a02 = { 2, { 1, 0 } }; + + +// Verify no warning for an unknown struct object. +void ga0p (A0 *p) +{ + p->a[0] = 0; + p->a[3] = 0; + p->a[9] = 0; +} + + +// Verify warning for an extern struct object which (unlike a true +// flexible array member) may not be initialized. +extern A0 a0x; + +void ga0x () +{ + a0x.a[0] = 0; // { dg-warning "\\\[-Warray-bounds" } + a0x.a[3] = 0; // { dg-warning "\\\[-Warray-bounds" } + a0x.a[9] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Exercise trailing one-element array members. + +struct A1 +{ + char n; + char a[1]; // { dg-message "while referencing .A1::a." } +}; + +// Verify warning for a definition with no initializer. +A1 a1_; + +void ga1_ () +{ + a1_.a[0] = 0; + a1_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that doesn't +// initialize the one-element array member. +A1 a1__ = { 0 }; + +void ga1__ () +{ + a1__.a[0] = 0; + a1__.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1__.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the one-element array member to empty. +A1 a1_0 = { 0, { } }; + +void ga1_0_ () +{ + a1_0.a[0] = 0; + a1_0.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1_0.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the one-element array member. +A1 a1_1 = { 0, { 1 } }; + +void ga1_1 () +{ + a1_1.a[0] = 0; + a1_1.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1_1.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Verify no warning for an unknown struct object. +void ga1p (A1 *p) +{ + p->a[0] = 0; + p->a[3] = 0; + p->a[9] = 0; +} + + +// Verify warning for an extern struct object. Similar to the zero-length +// array case, a one-element trailing array can be initialized to at most +// a single element. +extern A1 a1x; + +void ga1x () +{ + a1x.a[0] = 0; + a1x.a[3] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1x.a[9] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Exercise interior one-element array members (verify they're not +// treated as trailing. + +struct A1i +{ + char n; + char a[1]; // { dg-message "while referencing .A1i::a." } + char x; +}; + +// Verify warning for a definition with no initializer. +A1i a1i_; + +void ga1i_ () +{ + a1i_.a[0] = 0; + a1i_.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1i_.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that doesn't +// initialize the one-element array member. +A1i a1i__ = { 0 }; + +void ga1i__ () +{ + a1i__.a[0] = 0; + a1i__.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1i__.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the one-element array member to empty. +A1 a1i_0 = { 0, { } }; + +void ga1i_0_ () +{ + a1i_0.a[0] = 0; + a1i_0.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1i_0.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + +// Verify warning for access to a definition with an initializer that +// initializes the one-element array member. +A1 a1i_1 = { 0, { 1 } }; + +void ga1i_1 () +{ + a1i_1.a[0] = 0; + a1i_1.a[1] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1i_1.a[2] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Verify no warning for an unknown struct object. +void ga1ip (A1i *p) +{ + p->a[0] = 0; + p->a[3] = 0; // { dg-warning "\\\[-Warray-bounds" } + p->a[9] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Verify no warning for an extern struct object. +extern A1i a1ix; + +void ga1ix () +{ + a1ix.a[0] = 0; + a1ix.a[3] = 0; // { dg-warning "\\\[-Warray-bounds" } + a1ix.a[9] = 0; // { dg-warning "\\\[-Warray-bounds" } +} + + +// Verify non-POD classes with flexible array members. + +struct Bx +{ + char n; + char a[]; // { dg-message "while referencing .Bx::a." } + + // Verify the warning for a constant. + Bx () { a[0] = 0; } // { dg-warning "\\\[-Warray-bounds" } + + // And also for a non-constant. Regardless of the subscript, the array + // of the object in function gxi() below has a zero size. + Bx (int i) { a[i] = 0; } // { dg-warning "\\\[-Warray-bounds" } +}; + +void gbx (void) +{ + struct Bx bx; + sink (&bx); +} + +void gbxi (int i) +{ + struct Bx bxi (i); + sink (&bxi); +} + +struct B0 +{ + char n; + char a[0]; // { dg-message "while referencing .B0::a." } + + B0 () { a[0] = 0; } // { dg-warning "\\\[-Warray-bounds" } +}; + + +void gb0 (void) +{ + struct B0 b0; + sink (&b0); +} + + +struct B1 +{ + char n; + char a[1]; // { dg-message "while referencing .B1::a." } + + B1 () { a[1] = 0; } // { dg-warning "\\\[-Warray-bounds" } +}; + +void gb1 (void) +{ + struct B1 b1; + sink (&b1); +} + + +struct B123 +{ + char a[123]; // { dg-message "while referencing .B123::a." } + + B123 () { a[123] = 0; } // { dg-warning "\\\[-Warray-bounds" } +}; + +void gb123 (void) +{ + struct B123 b123; + sink (&b123); +} + + +struct B234 +{ + char a[234]; // { dg-message "while referencing .B234::a." } + + B234 (int i) { a[i] = 0; } // { dg-warning "\\\[-Warray-bounds" } +}; + +void g234 (void) +{ + struct B234 b234 (234); + sink (&b234); +}