Lines Matching refs:removeLock
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anon6254f0e10111::FactSet
883 FSet.removeLock(FactMan, Cp); in handleUnlock()
969 FSet.removeLock(FactMan, Cp); in handleUnlock()
981 FSet.removeLock(FactMan, !Cp); in lock()
990 FSet.removeLock(FactMan, Cp); in unlock()
1027 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1256 FSet.removeLock(FactMan, NegC); in addLock()
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1877 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive); in handleCall()
1879 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared); in handleCall()
1881 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic); in handleCall()
2207 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2467 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()