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