reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1165 if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) { 1293 const FactEntry *Nen = FSet.findLock(FactMan, NegC); 1295 FSet.removeLock(FactMan, NegC); 1312 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { 1314 Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind); 1316 FSet.addLock(FactMan, std::move(Entry)); 1329 const FactEntry *LDat = FSet.findLock(FactMan, Cp); 1342 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, 1629 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); 1642 LDat = FSet.findLock(Analyzer->FactMan, Cp); 1650 const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); 1654 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); 1686 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp); 1743 if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) { 1782 if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) 2196 const FactEntry *LDat2 = &FactMan[Fact]; 2197 FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, *LDat2); 2198 if (Iter1 != FSet1.end()) LDat1 = &FactMan[*Iter1]; 2214 LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1, 2221 const FactEntry *LDat1 = &FactMan[Fact]; 2222 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); 2225 LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2, 2228 FSet1.removeLock(FactMan, *LDat1); 2526 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( 2529 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( 2532 ExpectedExitSet.removeLock(FactMan, Lock);