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