1struct A { char x[1]; };
2extern void abort (void);
3void __attribute__((noinline,noclone))
4foo (struct A a)
5{
6  if (a.x[0] != 'a')
7    abort ();
8}
9int main ()
10{
11  struct A a;
12  int i;
13  for (i = 0; i < 1; ++i)
14    a.x[i] = 'a';
15  foo (a);
16  return 0;
17}
18
19