1  struct A { char x[1]; };
       2  extern void abort (void);
       3  void __attribute__((noinline,noclone))
       4  foo (struct A a)
       5  {
       6    if (a.x[0] != 'a')
       7      abort ();
       8  }
       9  int 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