296                               ThreadSafetyAnalyzer& Analyzer);
299                                    ThreadSafetyAnalyzer &Analyzer);
303                         ThreadSafetyAnalyzer& Analyzer,
1071     ThreadSafetyAnalyzer& Analyzer) {  in insertAttrExprs()  argument
1091             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1096               insertAttrExprs(Cpvd, Analyzer);  in insertAttrExprs()
1107             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1110             BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer);  in insertAttrExprs()
1126                                 ThreadSafetyAnalyzer &Analyzer) {  in getBeforeInfoForDecl()  argument
1130     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1140                                  ThreadSafetyAnalyzer& Analyzer,  in checkBeforeAfter()  argument
1150     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1165       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1168         Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc);  in checkBeforeAfter()
1175           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()
1573   ThreadSafetyAnalyzer *Analyzer;  member in __anonef2eab400d11::BuildLockset
1598       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1619   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1621     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexNotHeld()
1629     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1631       Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexNotHeld()
1638     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1642     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1644       Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1650   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1654     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1659       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1663       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1670     Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1678   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1680     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexHeld()
1686   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1688     Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexHeld()
1743   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1744     Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc);  in checkAccess()
1782   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1783     Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK,  in checkPtAccess()
1825         Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd  in handleCall()
1840         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1842           Analyzer->addLock(FSet,  in handleCall()
1852         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1854           Analyzer->addLock(FSet,  in handleCall()
1864         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1866           Analyzer->addLock(FSet,  in handleCall()
1880           Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD);  in handleCall()
1882           Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD);  in handleCall()
1884           Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD);  in handleCall()
1898             Analyzer->getMutexIDs(A->isShared() ? ScopedSharedReqs  in handleCall()
1923     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1925     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1927     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
1931     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1935     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1945     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()
1960     Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind);  in handleCall()
1988   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);  in VisitBinaryOperator()
2133   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);  in VisitDeclStmt()
2554   ThreadSafetyAnalyzer Analyzer(Handler, *BSet);  in runThreadSafetyAnalysis()  local
2555   Analyzer.runAnalysis(AC);  in runThreadSafetyAnalysis()