1/* { dg-do compile { target { ! x32 } } } */
2/* { dg-options "-O -fschedule-insns -fcheck-pointer-bounds -mmpx" } */
3
4void bar(int *a, int *b, int *c, int *d, int *e, int *f);
5
6int foo (int *a, int *b, int *c, int *d, int *e, int *f)
7{
8 bar (a, b, c, d, e, f);
9 return *f;
10}
11