Lines Matching refs:removeLock
196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anond54a86130111::FactSet
834 FSet.removeLock(FactMan, Cp); in handleUnlock()
884 FSet.removeLock(FactMan, UnderCp); in handleUnlock()
894 FSet.removeLock(FactMan, UnderCp); in handleUnlock()
899 FSet.removeLock(FactMan, Cp); in handleUnlock()
928 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1197 FSet.removeLock(FactMan, NegC); in addLock()
1225 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1824 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
1826 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
1828 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
2056 FSet1.removeLock(FactMan, *LDat1); in intersectAndWarn()
2362 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()