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