xref: /illumos-gate/usr/src/tools/smatch/src/validation/label-asm.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
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