|
111
|
1 /* { dg-do compile } */
|
|
|
2 /* { dg-options "-O3 -Warray-bounds" } */
|
|
|
3
|
|
|
4 typedef struct foo {
|
|
|
5 unsigned char foo_size;
|
|
|
6 int buf[4];
|
|
|
7 const char* bar;
|
|
|
8 } foo;
|
|
|
9
|
|
|
10 const foo *get_foo(int index);
|
|
|
11
|
|
|
12 static int foo_loop(const foo *myfoo) {
|
|
|
13 int i;
|
|
|
14 if (myfoo->foo_size < 3)
|
|
|
15 return 0;
|
|
|
16 for (i = 0; i < myfoo->foo_size; i++) {
|
|
|
17 if (myfoo->buf[i] != 1) /* { dg-bogus "above array bounds" } */
|
|
|
18 return 0;
|
|
|
19 }
|
|
|
20
|
|
|
21 return 1;
|
|
|
22 }
|
|
|
23
|
|
|
24 static int run_foo(void) {
|
|
|
25 int i;
|
|
|
26 for (i = 0; i < 1; i++) {
|
|
|
27 const foo *myfoo = get_foo(i);
|
|
|
28 if (foo_loop(myfoo))
|
|
|
29 return 0;
|
|
|
30 }
|
|
|
31 return -1;
|
|
|
32 }
|
|
|
33
|
|
|
34 typedef struct hack {
|
|
|
35 int (*func)(void);
|
|
|
36 } hack;
|
|
|
37
|
|
|
38 hack myhack = {
|
|
|
39 .func = run_foo,
|
|
|
40 };
|
