Home | History | Annotate | Download | only in Analysis

Lines Matching refs:removeLock

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