1 /* { dg-do compile { target { ! x32 } } } */
2 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
3 
4 #include <stdio.h>
5 
functionA(void)6 static inline void __attribute ((always_inline)) functionA(void)
7 {
8   return;
9 }
10 
functionB(void)11 static inline void __attribute ((always_inline)) functionB(void)
12 {
13   functionA();
14 }
15 
test(void)16 int test(void)
17 {
18   functionB();
19 
20   return 0;
21 }
22