1/* { dg-do run } */
2
3extern void abort (void);
4
5static inline void
6foo (int * p)
7{
8  int * __restrict pr = p;
9  *pr = 1;
10}
11
12int __attribute__((noinline,noclone))
13bar (int * __restrict qr)
14{
15  *qr = 0;
16  foo (qr);
17  return *qr;
18}
19
20int main()
21{
22  int i;
23  if (bar (&i) != 1)
24    abort ();
25  return 0;
26}
27