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