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