xref: /illumos-gate/usr/src/tools/smatch/src/validation/label-asm.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508) 
1 #define barrier() __asm__ __volatile__("": : :"memory")
2 
f(void)3 static void f(void)
4 {
5 	barrier();
6 l:
7 	barrier();
8 }
9 /*
10  * check-name: Label followed by __asm__
11  * check-description: Sparse used to parse the __asm__ as modifying the label.
12  */
13