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