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