1 /* { dg-do run } */ 2 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */ 3 4 5 #include "mpx-check.h" 6 7 int *buf1[100]; 8 int buf2[100]; 9 wr(int i)10void wr (int i) 11 { 12 buf1[i] = buf2; 13 } 14 rd(int i,int j)15int rd(int i, int j) 16 { 17 int res = buf1[i][j]; 18 printf("%d\n", res); 19 return res; 20 } 21 mpx_test(int argc,const char ** argv)22int mpx_test (int argc, const char **argv) 23 { 24 wr(10); 25 rd(10, 0); 26 rd(10, 99); 27 28 return 0; 29 } 30