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

int a, b, c;

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

        if (a) {
                return;
        }

        _spin_lock(mylock);
        _spin_unlock(mylock);

        if (b) {
                _spin_unlock(mylock2);
                return;
        }

        if (c)
                _spin_lock(mylock3);
        return;
}
/*
 * check-name: Smatch locking #1
 * check-command: smatch --project=kernel --spammy sm_locking.c
 *
 * check-output-start
sm_locking.c:26 func() warn: 'spin_lock:mylock3' is sometimes locked here and sometimes unlocked.
sm_locking.c:26 func() warn: inconsistent returns 'spin_lock:mylock2'.
  Locked on:   line 13
               line 26
  Unlocked on: line 21
 * check-output-end
 */