1 int __attribute__((noinline))
foo(int i)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);
main()10 int main()
11 {
12   if (foo(0) != 1)
13     abort ();
14   return 0;
15 }
16