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