30 lines
720 B
C
30 lines
720 B
C
// Contributed by Dodji Seketeli <dodji@redhat.com>
|
|
// Origin PR c++/38699
|
|
// { dg-options "-Warray-bounds" }
|
|
// { dg-do compile }
|
|
|
|
struct A
|
|
{
|
|
const char *p;
|
|
};
|
|
|
|
struct B
|
|
{
|
|
char p[10];
|
|
struct A a;
|
|
};
|
|
|
|
void
|
|
f0 ()
|
|
{
|
|
__builtin_offsetof(struct A, p); // OK
|
|
__builtin_offsetof(struct A, p[0]); // { dg-error "non constant address" }
|
|
__builtin_offsetof(struct B, p[0]); // OK
|
|
__builtin_offsetof(struct B, p[9]); // OK
|
|
__builtin_offsetof(struct B, p[10]); // OK
|
|
__builtin_offsetof(struct B, p[11]); // { dg-warning "greater than size" }
|
|
__builtin_offsetof(struct B, a.p); // OK
|
|
__builtin_offsetof(struct B, p[0]); // OK
|
|
__builtin_offsetof(struct B, a.p[0]); // { dg-error "non constant address" }
|
|
}
|