Home
last modified time | relevance | path

Searched refs:LState (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DPthreadLockChecker.cpp140 if (const LockState *LState = state->get<LockMap>(lockR)) { in AcquireLock() local
141 if (LState->isLocked()) { in AcquireLock()
154 } else if (LState->isDestroyed()) { in AcquireLock()
203 if (const LockState *LState = state->get<LockMap>(lockR)) { in ReleaseLock() local
204 if (LState->isUnlocked()) { in ReleaseLock()
217 } else if (LState->isDestroyed()) { in ReleaseLock()
261 const LockState *LState = State->get<LockMap>(LockR); in DestroyLock() local
262 if (!LState || LState->isUnlocked()) { in DestroyLock()
270 if (LState->isLocked()) { in DestroyLock()
296 const struct LockState *LState = State->get<LockMap>(LockR); in InitLock() local
[all …]
/external/clang/lib/Analysis/
DConsumed.cpp973 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp() local
978 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()
981 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
984 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
992 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()
996 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
999 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()