1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wall" } */
3 
4 typedef unsigned int DWORD;
5 
g(DWORD * p,int n)6 static void g(DWORD * p, int n)
7 {
8         int i;
9 
10         for (i = 0; i < n && !p[n - 1]; i++);  /* { dg-bogus "subscript is above array bounds" } */
11 }
12 
f()13 void f() {
14         DWORD arr[8];
15 
16         g(arr, 4);
17 }
18