Home | History | Annotate | Download | only in Analysis

Lines Matching refs:removeLock

850   bool removeLock(FactManager& FM, const SExpr& M) {
1453   void removeLock(FactSet &FSet, const SExpr &Mutex,
1510 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet,
1529         FSet.removeLock(FactMan, LDat->UnderlyingMutex);
1537       FSet.removeLock(FactMan, LDat->UnderlyingMutex);
1541   FSet.removeLock(FactMan, Mutex);
2059     Analyzer->removeLock(FSet, LocksToRemove[i], Loc, Dtor);
2264         FSet1.removeLock
2576     ExpectedExitSet.removeLock(FactMan, LocksReleased[i]);