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)11 int 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)21 int 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