validation/sm_locking3.c

   1 int _spin_trylock(int name);
   2 void _spin_lock(int name);
   3 void _spin_unlock(int name);
   4
   5 int func (void)
   6 {
   7         int mylock = 1;
   8
   9         if (!({frob(); frob(); _spin_trylock(mylock);}))
  10                 return;
  11
  12         frob();
  13         _spin_unlock(mylock);
  14
  15         if (((_spin_trylock(mylock)?1:0)?1:0))
  16                 return;
  17         frob_somemore();
  18         _spin_unlock(mylock);
  19
  20         return;
  21 }
  22 /*
  23  * check-name: Smatch locking #3
  24  * check-command: smatch --project=kernel sm_locking3.c
  25  *
  26  * check-output-start
  27 sm_locking3.c:18 func() error: double unlock 'spin_lock:mylock'
  28 sm_locking3.c:20 func() warn: inconsistent returns 'spin_lock:mylock'.
  29   Locked on:   line 16
  30   Unlocked on: line 10
  31                line 20
  32  * check-output-end
  33  */