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