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