1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fcheck-pointer-bounds -mmpx" } */
3 
4 void
bar(int N)5 bar (int N)
6 {
7   int a[N];
8   void foo (int a[N])
9   {
10   }
11   foo (a);
12 }
13