1 2 3 4 5 6 7 8 9 10 11 12 13
/* { dg-do run } */ /* { dg-options "-fcheck-pointer-bounds -mmpx" } */ #include "mpx-check.h" char buf[100]; int mpx_test (int argc, const char **argv) { assert (buf + 99 == __bnd_get_ptr_ubound (buf)); return 0; }