xref: /illumos-gate/usr/src/tools/smatch/src/validation/label-asm.c (revision 1da57d551424de5a9d469760be7c4b4d4f10a755)
1 #define barrier() __asm__ __volatile__("": : :"memory")
2 
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