Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp290 const LockState *lstate = state->get<LockMap>(lockR); in resolvePossiblyDestroyedMutex()
301 state = state->remove<LockMap>(lockR); in resolvePossiblyDestroyedMutex()
309 state = state->remove<DestroyRetVal>(lockR); in resolvePossiblyDestroyedMutex()
403 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux() local
404 if (!lockR) in AcquireLockAux()
408 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in AcquireLockAux()
463 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLockAux()
481 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux() local
482 if (!lockR) in ReleaseLockAux()
486 const SymbolRef *sym = state->get<DestroyRetVal>(lockR); in ReleaseLockAux()
[all …]