131
|
1 /* Exercise that -Warray-bounds is handled correctly for subobjects.
|
|
2 Test case derived from the halt_fast_timekeeper function in Linux
|
|
3 kernel/time/timekeeping.c.
|
|
4 { dg-do compile }
|
|
5 { dg-options "-O2 -Warray-bounds=2 -Wno-stringop-overflow -ftrack-macro-expansion=0" } */
|
|
6
|
|
7 struct A
|
|
8 {
|
|
9 int i;
|
|
10 void *p;
|
|
11 int j;
|
|
12 };
|
|
13
|
|
14 struct B
|
|
15 {
|
|
16 struct A a;
|
|
17
|
|
18 int i;
|
|
19 };
|
|
20
|
|
21 void sink (void*);
|
|
22
|
|
23 static void halt_fast_timekeeper (struct B *b)
|
|
24 {
|
|
25 static struct A a;
|
|
26
|
|
27 struct A *pa = &b->a;
|
|
28
|
|
29 __builtin_memcpy (&a, pa, sizeof *pa); /* { dg-bogus "\\\[-Warray-bounds" } */
|
|
30 sink (&a);
|
|
31 }
|
|
32
|
|
33 struct C { int i; struct B b; } c;
|
|
34
|
|
35 void timekeeping_suspend (void)
|
|
36 {
|
|
37 struct B *p = &c.b;
|
|
38
|
|
39 halt_fast_timekeeper (p);
|
|
40 }
|