Lines Matching refs:removeLock
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anon06d2d5b10111::FactSet
905 FSet.removeLock(FactMan, Cp); in handleUnlock()
1033 FSet.removeLock(FactMan, Cp); in handleUnlock()
1053 FSet.removeLock(FactMan, !Cp); in lock()
1108 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1331 FSet.removeLock(FactMan, NegC); in addLock()
1357 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
2056 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive); in handleCall()
2058 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared); in handleCall()
2060 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic); in handleCall()
2404 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2587 ExpectedFunctionExitSet.removeLock(FactMan, Lock); in runAnalysis()