Searched refs:LState (Results 1 – 2 of 2) sorted by relevance
411 if (const LockState *LState = state->get<LockMap>(lockR)) { in AcquireLockAux() local412 if (LState->isLocked()) { in AcquireLockAux()416 } else if (LState->isDestroyed()) { in AcquireLockAux()489 if (const LockState *LState = state->get<LockMap>(lockR)) { in ReleaseLockAux() local490 if (LState->isUnlocked()) { in ReleaseLockAux()494 } else if (LState->isDestroyed()) { in ReleaseLockAux()551 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux() local555 if (!LState || LState->isUnlocked()) { in DestroyLockAux()563 if (LState && LState->isUnlocked()) in DestroyLockAux()573 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()