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