Lines Matching refs:removeLock
196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anond54a86130111::FactSet
836 FSet.removeLock(FactMan, Cp); in handleUnlock()
886 FSet.removeLock(FactMan, UnderCp); in handleUnlock()
896 FSet.removeLock(FactMan, UnderCp); in handleUnlock()
901 FSet.removeLock(FactMan, Cp); in handleUnlock()
930 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1194 FSet.removeLock(FactMan, NegC); in addLock()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1821 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
1823 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
1825 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
2061 FSet1.removeLock(FactMan, *LDat1); in intersectAndWarn()
2367 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()