2 /* { dg-shouldfail "bounds violation" } */
3 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
5 /* { dg-additional-options "-fchkp-first-field-has-own-bounds" } */
17 int foo (int *i
, int k
)
19 printf ("%d\n", i
[k
]);
23 int mpx_test (int argc
, const char **argv
)