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