db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / label-unused.c
blobe3f255e1b5dec4bd099a5aa1346c3a0f3381b6c9
1 static void foo(void)
3 l:
4 return;
7 static int bar(void)
9 return ({
13 });
16 static void baz(void)
18 l: __attribute__((unused));
19 return;
23 * check-name: label-unused
25 * check-error-start
26 label-unused.c:3:1: warning: unused label 'l'
27 label-unused.c:10:1: warning: unused label 'l'
28 * check-error-end