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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp168 const MemRegion *lockR,
285 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {
286 const LockState *lstate = state->get<LockMap>(lockR);
288 // Existence in Destroyed also ensures that the lock state for lockR is either
297 state = state->remove<LockMap>(lockR);
299 state = state->set<LockMap>(lockR, LockState::getUnlocked());
301 state = state->set<LockMap>(lockR, LockState::getDestroyed());
303 // Removing the map entry (lockR, sym) from DestroyRetVal as the lock state is
305 state = state->remove<DestroyRetVal>(lockR);
390 const MemRegion *lockR local
284 resolvePossiblyDestroyedMutex( ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const argument
473 const MemRegion *lockR = lock.getAsRegion(); local
[all...]

Completed in 215 milliseconds