gcc/testsuite/gcc.target/i386/chkp-always_inline.c

   1 /* { dg-do compile { target { ! x32 } } } */
   2 /* { dg-options "-fcheck-pointer-bounds -mmpx -O2 -Wno-attributes" } */
   3
   4 static __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 }