unwind: add more unwind functions
[smatch.git] / validation / sm_locking5.c
blob244520953c09a6518ea3ba4c155eb78046df17c2
1 int mutex_lock_interruptible(int x);
2 void mutex_unlock(int x);
4 void frob(void) {
5 int lock;
7 if (mutex_lock_interruptible(lock) < 0)
8 return;
9 return;
12 * check-name: Smatch locking #5
13 * check-command: smatch -p=kernel sm_locking5.c
15 * check-output-start
16 sm_locking5.c +9 frob(5) warn: inconsistent returns mutex:lock: locked (9) unlocked (8)
17 * check-output-end