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