Searched refs:LState (Results 1 – 2 of 2) sorted by relevance
414 if (LState->isLocked()) { in AcquireLockAux()418 } else if (LState->isDestroyed()) { in AcquireLockAux()492 if (LState->isUnlocked()) { in ReleaseLockAux()496 } else if (LState->isDestroyed()) { in ReleaseLockAux()553 const LockState *LState = State->get<LockMap>(LockR); in DestroyLockAux() local557 if (!LState || LState->isUnlocked()) { in DestroyLockAux()565 if (LState && LState->isUnlocked()) in DestroyLockAux()575 if (!LState || LState->isUnlocked()) { in DestroyLockAux()582 StringRef Message = LState->isLocked() in DestroyLockAux()611 if (!LState || LState->isDestroyed()) { in InitLockAux()[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()