validation/check_access-multi.c

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