Searched refs:LState (Results 1 – 2 of 2) sorted by relevance
442 if (const LockState *LState = state->get<LockMap>(lockR)) { in AcquireLockAux() local443 if (LState->isLocked()) { in AcquireLockAux()447 } else if (LState->isDestroyed()) { in AcquireLockAux()520 if (const LockState *LState = state->get<LockMap>(lockR)) { in ReleaseLockAux() local521 if (LState->isUnlocked()) { in ReleaseLockAux()525 } else if (LState->isDestroyed()) { in ReleaseLockAux()582 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux() local586 if (!LState || LState->isUnlocked()) { in DestroyLockAux()594 if (LState && LState->isUnlocked()) in DestroyLockAux()604 if (!LState || LState->isUnlocked()) { in DestroyLockAux()[all …]
956 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp() local961 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()963 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()965 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()972 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()975 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()977 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()