1*c85f09ccSJohn Levon extern int *a;
2*c85f09ccSJohn Levon extern int b[1];
3*c85f09ccSJohn Levon 
foo(void)4*c85f09ccSJohn Levon static void foo(void)
5*c85f09ccSJohn Levon {
6*c85f09ccSJohn Levon 	*a = b[1];
7*c85f09ccSJohn Levon }
8*c85f09ccSJohn Levon 
9*c85f09ccSJohn Levon /*
10*c85f09ccSJohn Levon  * check-name: check_access-multi
11*c85f09ccSJohn Levon  *
12*c85f09ccSJohn Levon  * check-error-start
13*c85f09ccSJohn Levon check_access-multi.c:6:15: warning: invalid access past the end of 'b' (4 4)
14*c85f09ccSJohn Levon  * check-error-end
15*c85f09ccSJohn Levon  */
16