Lines Matching refs:removeLock
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anonfc9fb0060111::FactSet
882 FSet.removeLock(FactMan, Cp); in handleUnlock()
968 FSet.removeLock(FactMan, Cp); in handleUnlock()
980 FSet.removeLock(FactMan, !Cp); in lock()
989 FSet.removeLock(FactMan, Cp); in unlock()
1028 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1270 FSet.removeLock(FactMan, NegC); in addLock()
1297 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1920 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive); in handleCall()
1922 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared); in handleCall()
1924 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic); in handleCall()
2243 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2393 ExpectedFunctionExitSet.removeLock(FactMan, Lock); in runAnalysis()