1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
/* { dg-do run } */ /* { dg-shouldfail "bounds violation" } */ /* { dg-options "-fcheck-pointer-bounds -mmpx" } */ #define SHOULDFAIL #include "mpx-check.h" struct s { int a; int *p; } s; int buf[100]; struct s s1 = {0, buf}; int mpx_test (int argc, const char *argv[]) { printf ("%d\n", s1.p[100]); return 0; }