1/* { dg-do compile { target { { i?86-*-* x86_64-*-* } && { ! x32 } } } } */
2/* { dg-options "-O2 -g -fcheck-pointer-bounds -mmpx" } */
3
4int test1 (int i)
5{
6  extern const int arr[10];
7  return arr[i];
8}
9
10extern const int arr[10];
11
12int test2 (int i)
13{
14  return arr[i];
15}
16