Lines Matching defs:removeLock

219   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {
887     FSet.removeLock(FactMan, Cp);
988       FSet.removeLock(FactMan, Cp);
1004       FSet.removeLock(FactMan, !Cp);
1013       FSet.removeLock(FactMan, Cp);
1052   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1293       FSet.removeLock(FactMan, NegC);
1320 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,
2038     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive);
2040     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared);
2042     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic);
2363         EntrySet.removeLock(FactMan, *EntryFact);
2551     ExpectedFunctionExitSet.removeLock(FactMan, Lock);