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