1 _spin_trylock(int name
);
3 _spin_unlock(int name
);
9 if (!({frob(); frob(); _spin_trylock(mylock
);}))
15 if (((_spin_trylock(mylock
)?1:0)?1:0))
23 * check-name: Locking #3
24 * check-command: smatch sm_locking3.c
27 sm_locking3.c +18 func(13) error: double unlock 'mylock'
28 sm_locking3.c +20 func(15) warn: lock 'mylock' held on line 16 but not on 20.