db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / label-asm.c
blobb58d1e52e5fd4398738d78e63797cd8cc9639223
1 #define barrier() __asm__ __volatile__("": : :"memory")
3 static void f(void)
5 barrier();
6 goto l;
7 l:
8 barrier();
11 * check-name: Label followed by __asm__
12 * check-description: Sparse used to parse the __asm__ as modifying the label.