db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / label-attr.c
blob81c4ac3c6aef22740e9aa355751cf149824aa8e4
1 static int foo(void)
3 goto rtattr_failure;
4 rtattr_failure: __attribute__ ((unused))
5 return -1;
7 /*
8 * check-name: Label attribute
9 */