1/* { dg-do compile { target { ! x32 } } } */
2/* { dg-options "-fcheck-pointer-bounds -mmpx -O2 -Wno-attributes" } */
3
4static __attribute__((always_inline)) int f1 (int *p)
5{
6  return *p;
7}
8
9__attribute__((bnd_legacy)) int f2 (int *p)
10{
11  return f1 (p);
12}
13