1  int __attribute__((noinline))
       2  foo(int i)
       3  {
       4    int *p = __builtin_malloc (4 * sizeof(int));
       5    *p = 0;
       6    p[i] = 1;
       7    return *p;
       8  }
       9  extern void abort (void);
      10  int main()
      11  {
      12    if (foo(0) != 1)
      13      abort ();
      14    return 0;
      15  }