1int __attribute__((noinline))
2bar (int *a)
3{
4  return *a;
5}
6int i;
7int __attribute__((noinline))
8foo (int (*a)[2])
9{
10  return bar (&(*a)[i]);
11}
12
13extern void abort (void);
14int a[2];
15int main()
16{
17  a[0] = -1;
18  a[1] = 42;
19  i = 1;
20  if (foo (&a) != 42)
21    abort ();
22  return 0;
23}
24