1 /* { dg-do compile } */
2 /* { dg-require-effective-target mpx } */
3 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
7 static inline void __attribute ((always_inline
)) functionA(void)
12 static inline void __attribute ((always_inline
)) functionB(void)