2 /* { dg-shouldfail "bounds violation" } */
3 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
17 int rd (int *p1
, int *p2
, int *p3
, int *p4
, struct s1 s
)
19 int res
= s
.p
[s
.i1
+ s
.i2
];
27 int mpx_test (int argc
, const char **argv
)
34 rd (buf1
, buf1
, buf1
, buf1
, s
);