1f08c3bdfSopenharmony_ciextern int a[1];
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_cistatic int r(void)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci	return a[1];
6f08c3bdfSopenharmony_ci}
7f08c3bdfSopenharmony_ci
8f08c3bdfSopenharmony_cistatic void w(void)
9f08c3bdfSopenharmony_ci{
10f08c3bdfSopenharmony_ci	a[1] = 2;
11f08c3bdfSopenharmony_ci}
12f08c3bdfSopenharmony_ci
13f08c3bdfSopenharmony_ci/*
14f08c3bdfSopenharmony_ci * check-name: check_access-store
15f08c3bdfSopenharmony_ci * check-known-to-fail
16f08c3bdfSopenharmony_ci *
17f08c3bdfSopenharmony_ci * check-error-start
18f08c3bdfSopenharmony_cicheck_access-store.c:5:17: warning: invalid access past the end of 'a' (4 4)
19f08c3bdfSopenharmony_cicheck_access-store.c:10:17: warning: invalid access past the end of 'a' (4 4)
20f08c3bdfSopenharmony_ci * check-error-end
21f08c3bdfSopenharmony_ci */
22