reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1619 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); 1621 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); 1629 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); 1631 Analyzer->Handler.handleFunExcludesLock( 1638 if (!Analyzer->inCurrentScope(Cp)) 1642 LDat = FSet.findLock(Analyzer->FactMan, Cp); 1644 Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(), 1650 const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); 1654 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); 1659 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), 1663 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), 1670 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), 1678 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); 1680 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); 1686 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp); 1688 Analyzer->Handler.handleFunExcludesLock( 1743 if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) { 1744 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc); 1782 if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) 1783 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK, 1825 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd 1840 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); 1842 Analyzer->addLock(FSet, 1852 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); 1854 Analyzer->addLock(FSet, 1864 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); 1866 Analyzer->addLock(FSet, 1880 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD); 1882 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD); 1884 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD); 1898 Analyzer->getMutexIDs(A->isShared() ? ScopedSharedReqs 1923 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); 1925 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); 1927 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); 1931 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( 1935 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( 1945 CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr); 1960 Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind); 1988 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx); 2133 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);