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)10 void wr (int i)
11 {
12   buf1[i] = buf2;
13 }
14 
rd(int i,int j)15 int 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)22 int 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