111
|
1 // Contributed by Dodji Seketeli <dodji@redhat.com>
|
|
2 // Origin PR c++/38699
|
|
3 // { dg-options "-Warray-bounds" }
|
|
4 // { dg-do compile }
|
|
5
|
|
6 struct A
|
|
7 {
|
|
8 const char *p;
|
|
9 };
|
|
10
|
|
11 struct B
|
|
12 {
|
|
13 char p[10];
|
|
14 struct A a;
|
|
15 };
|
|
16
|
|
17 void
|
|
18 f0 ()
|
|
19 {
|
|
20 __builtin_offsetof(struct A, p); // OK
|
|
21 __builtin_offsetof(struct A, p[0]); // { dg-error "non constant address" }
|
|
22 __builtin_offsetof(struct B, p[0]); // OK
|
|
23 __builtin_offsetof(struct B, p[9]); // OK
|
|
24 __builtin_offsetof(struct B, p[10]); // OK
|
|
25 __builtin_offsetof(struct B, p[11]); // { dg-warning "greater than size" }
|
|
26 __builtin_offsetof(struct B, a.p); // OK
|
|
27 __builtin_offsetof(struct B, p[0]); // OK
|
|
28 __builtin_offsetof(struct B, a.p[0]); // { dg-error "non constant address" }
|
|
29 }
|