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