300                               ThreadSafetyAnalyzer& Analyzer);
303                                    ThreadSafetyAnalyzer &Analyzer);
307                         ThreadSafetyAnalyzer& Analyzer,
1069     ThreadSafetyAnalyzer& Analyzer) {  in insertAttrExprs()  argument
1089             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1094               insertAttrExprs(Cpvd, Analyzer);  in insertAttrExprs()
1105             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1108             BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer);  in insertAttrExprs()
1124                                 ThreadSafetyAnalyzer &Analyzer) {  in getBeforeInfoForDecl()  argument
1128     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1138                                  ThreadSafetyAnalyzer& Analyzer,  in checkBeforeAfter()  argument
1148     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1163       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1166         Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc);  in checkBeforeAfter()
1173           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()
1588   ThreadSafetyAnalyzer *Analyzer;  member in __anon68dfda3c0d11::BuildLockset
1613       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1634   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1636     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexNotHeld()
1644     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1646       Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexNotHeld()
1653     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1657     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1659       Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1664   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1668     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1673       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1677       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1684     Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1692   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1694     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexHeld()
1700   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1702     Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexHeld()
1757   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1758     Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc);  in checkAccess()
1796   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1797     Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK,  in checkPtAccess()
1839         Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd  in handleCall()
1854         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1856           Analyzer->addLock(  in handleCall()
1867         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1869           Analyzer->addLock(  in handleCall()
1880         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1882           Analyzer->addLock(FSet,  in handleCall()
1896           Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD);  in handleCall()
1898           Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD);  in handleCall()
1900           Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD);  in handleCall()
1914             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1925             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1940     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1942     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1944     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
1950     Analyzer->addLock(  in handleCall()
1954     Analyzer->addLock(  in handleCall()
1964     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()
1977     Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind);  in handleCall()
2005   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);  in VisitBinaryOperator()
2146   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);  in VisitDeclStmt()
2564   ThreadSafetyAnalyzer Analyzer(Handler, *BSet);  in runThreadSafetyAnalysis()  local
2565   Analyzer.runAnalysis(AC);  in runThreadSafetyAnalysis()