Lines Matching refs:removeLock
217 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anon3cf8d6650111::FactSet
884 FSet.removeLock(FactMan, Cp); in handleUnlock()
974 FSet.removeLock(FactMan, Cp); in handleUnlock()
985 FSet.removeLock(FactMan, !Cp); in lock()
995 FSet.removeLock(FactMan, Cp); in unlock()
1032 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1309 FSet.removeLock(FactMan, NegC); in addLock()
1336 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1942 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
1944 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
1946 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
2262 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2562 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()