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

void frob(void){}
int a;
int b;
void func (void)
{
        int mylock = 1;
        int mylock2 = 2;

        if (1)
                _spin_unlock(mylock);
        frob();
        if (a)
                return;
        if (!0)
                _spin_lock(mylock);
        if (0)
                _spin_unlock(mylock);
        if (b)
                return;
        if (!1)
                _spin_lock(mylock);
}
/*
 * check-name: Smatch locking #4
 * check-command: smatch --project=kernel sm_locking4.c
 *
 * check-output-start
sm_locking4.c:23 func() warn: inconsistent returns 'mylock'.
  Locked on  : 22-23
  Unlocked on: 16
 * check-output-end
 */