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)13int 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)19int 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