smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / check_access-store.c
blob489507fd7bd722742d73a98872bf60a0e9edd7e6
1 extern int a[1];
3 static int r(void)
5 return a[1];
8 static void w(void)
10 a[1] = 2;
14 * check-name: check_access-store
15 * check-known-to-fail
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