db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / constexpr-labelref.c
blob93dc5ccc5e5d9ebec2da607cb149939f91e3c079
1 static void a(void)
3 label1:
5 static void *b = &&label1;
8 /*
9 * check-name: constexprness label reference
10 * check-command: sparse -Wconstexpr-not-const $file
12 * check-error-start
13 * check-error-end