validation/sm_locking5.c

   1 int mutex_lock_interruptible(int x);
   2 void mutex_unlock(int x);
   3
   4 void frob(void) {
   5         int lock;
   6
   7         if (mutex_lock_interruptible(lock) < 0)
   8                 return;
   9         return;
  10 }
  11 /*
  12  * check-name: Smatch locking #5
  13  * check-command: smatch -p=kernel sm_locking5.c
  14  *
  15  * check-output-start
  16 sm_locking5.c +9 frob(5) warn: inconsistent returns mutex:lock: locked (9) unlocked (8)
  17  * check-output-end
  18  */