1 /* { dg-do run } */
2 /* { dg-options "-fcheck-pointer-bounds -mmpx" } */
3 
4 
5 #include "mpx-check.h"
6 
7 struct S {
8   int a;
9   int b[100];
10   int c;
11 } S;
12 
foo(int * i,int k)13 int foo (int *i, int k)
14 {
15   printf ("%d\n", i[k]);
16   return i[k];
17 }
18 
mpx_test(int argc,const char ** argv)19 int mpx_test (int argc, const char **argv)
20 {
21   struct S s;
22 
23   foo(&s.a, 0);
24   foo(&s.a, 101);
25 
26   return 0;
27 }
28