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