2 /* { dg-shouldfail "bounds violation" } */
3 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
13 int mpx_test (int argc
, const char **argv
)
15 int *p1
= __bnd_set_ptr_bounds (buf
+ 10, sizeof (int) * 10);
17 __bnd_store_ptr_bounds ((void **)&p
, p1
- 10);