1/* { dg-do compile { target { ! x32 } } } */
2/* { dg-options "-fcheck-pointer-bounds -mmpx -O2" } */
3/* { dg-final { scan-assembler-not "test.chkp" } } */
4
5int test (int *p);
6extern __typeof (test) test  __asm__ ("" "__test") __attribute__ ((visibility ("hidden")));
7
8int test (int *p)
9{
10  return *p;
11}
12
13extern __typeof (test) __test1 __asm__("" "test");
14extern __typeof (test) __test1 __attribute__((alias ("" "__test")));
15