Lines Matching refs:removeLock
213 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() function in __anonef2eab400111::FactSet
884 FSet.removeLock(FactMan, Cp); in handleUnlock()
978 FSet.removeLock(FactMan, Cp); in handleUnlock()
986 FSet.removeLock(FactMan, !Cp); in lock()
998 FSet.removeLock(FactMan, Cp); in unlock()
1032 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1295 FSet.removeLock(FactMan, NegC); in addLock()
1322 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock() function in ThreadSafetyAnalyzer
1923 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
1925 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
1927 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
2228 FSet1.removeLock(FactMan, *LDat1); in intersectAndWarn()
2532 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()