validation/sm_locking3.c

   1 _spin_trylock(int name);
   2 _spin_lock(int name);
   3 _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: Locking #3
  24  * check-command: smatch sm_locking3.c
  25  *
  26  * check-output-start
  27 sm_locking3.c +18 func(13) double unlock 'mylock'
  28 sm_locking3.c +20 func(15) Lock 'mylock' held on line 16 but not on 20.
  29  * check-output-end
  30  */