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