2 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
14 int rd (int *p1
, int *p2
, int *p3
, struct s1 s
)
16 int res
= s
.p
[s
.i1
+ s
.i2
];
24 int mpx_test (int argc
, const char **argv
)
31 rd (buf1
, buf1
, buf1
, s
);
36 rd (buf1
, buf1
, buf1
, s
);