gcc/testsuite/gcc.dg/lto/chkp-privatize-1_0.c

   1 /* { dg-lto-do link } */
   2 /* { dg-require-effective-target mpx } */
   3 /* { dg-lto-options { { -Ofast -flto -fcheck-pointer-bounds -mmpx } } } */
   4
   5 extern int __attribute__((noinline)) f1 (int i);
   6
   7 static int __attribute__((noinline))
   8 f2 (int i)
   9 {
  10   return i + 6;
  11 }
  12
  13 int
  14 main (int argc, char **argv)
  15 {
  16   return f1 (argc) + f2 (argc);
  17 }