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()
153 } else if (LState->isDestroyed()) { in AcquireLock()
202 if (const LockState *LState = state->get<LockMap>(lockR)) { in ReleaseLock() local
203 if (LState->isUnlocked()) { in ReleaseLock()
215 } else if (LState->isDestroyed()) { in ReleaseLock()
257 const LockState *LState = State->get<LockMap>(LockR); in DestroyLock() local
258 if (!LState || LState->isUnlocked()) { in DestroyLock()
266 if (LState->isLocked()) { in DestroyLock()
292 const struct LockState *LState = State->get<LockMap>(LockR); in InitLock() local
[all …]
/external/clang/lib/Analysis/
DConsumed.cpp978 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp() local
983 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()
986 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
989 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
997 if (LState == CS_Unknown) { in splitVarStateForIfBinOp()
1001 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
1004 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()