void _spin_lock(int name);
void _spin_unlock(int name);
int _spin_trylock(int name);

int a;
int b;
int func (void)
{
        int mylock = 1;
        int mylock2 = 1;
        int mylock3 = 1;

        if (!_spin_trylock(mylock)) {
                return;
        }

        _spin_unlock(mylock);
        _spin_unlock(mylock2);

        if (a)
                _spin_unlock(mylock);
        _spin_lock(mylock2);

        if (!_spin_trylock(mylock3))
                return;
        return;
}
/*
 * check-name: Smatch locking #2
 * check-command: smatch --project=kernel sm_locking2.c
 *
 * check-output-start
sm_locking2.c:21 func() error: double unlocked 'mylock' (orig line 17)
sm_locking2.c:26 func() warn: inconsistent returns 'mylock3'.
  Locked on  : 26
  Unlocked on: 25
 * check-output-end
 */