1 /* { dg-do run } */ 2 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */ 3 4 5 #include "mpx-check.h" 6 7 int buf[100]; 8 mpx_test(int argc,const char ** argv)9 int mpx_test (int argc, const char **argv) 10 { 11 printf("%d\n", buf[0]); 12 printf("%d\n", buf[99]); 13 return 0; 14 } 15