/* { dg-do run } */

extern void abort (void);

static inline void
foo (int * p)
{
  int * __restrict pr = p;
  *pr = 1;
}

int __attribute__((noinline,noclone))
bar (int *q)
{
  int * __restrict qr = q;
  *qr = 0;
  foo (qr);
  return *qr;
}

int main()
{
  int i;
  if (bar (&i) != 1)
    abort ();
  return 0;
}