sval: extra: type information was being lost in ++/-- operations
[smatch.git] / validation / label-asm.c
blob411020ac361bb72db82a54e33516fd668516e57d
1 #define barrier() __asm__ __volatile__("": : :"memory")
3 static void f(void)
5 barrier();
6 l:
7 barrier();
9 /*
10 * check-name: Label followed by __asm__
11 * check-description: Sparse used to parse the __asm__ as modifying the label.