Searched refs:LState (Results 1 – 2 of 2) sorted by relevance
412 if (const LockState *LState = state->get<LockMap>(lockR)) { in AcquireLockAux() local413 if (LState->isLocked()) { in AcquireLockAux()417 } else if (LState->isDestroyed()) { in AcquireLockAux()490 if (const LockState *LState = state->get<LockMap>(lockR)) { in ReleaseLockAux() local491 if (LState->isUnlocked()) { in ReleaseLockAux()495 } else if (LState->isDestroyed()) { in ReleaseLockAux()552 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux() local556 if (!LState || LState->isUnlocked()) { in DestroyLockAux()564 if (LState && LState->isUnlocked()) in DestroyLockAux()574 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()