300                               ThreadSafetyAnalyzer& Analyzer);
303                                    ThreadSafetyAnalyzer &Analyzer);
307                         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()
1590   ThreadSafetyAnalyzer *Analyzer;  member in __anon3cf8d6650d11::BuildLockset
1615       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1636   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1638     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexNotHeld()
1646     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1648       Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexNotHeld()
1655     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1659     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1661       Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1666   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1670     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1675       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1679       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1686     Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1694   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1696     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);  in warnIfMutexHeld()
1702   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1704     Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexHeld()
1759   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1760     Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc);  in checkAccess()
1798   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1799     Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK,  in checkPtAccess()
1841         Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd  in handleCall()
1856         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1858           Analyzer->addLock(  in handleCall()
1869         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1871           Analyzer->addLock(  in handleCall()
1882         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1884           Analyzer->addLock(FSet,  in handleCall()
1898           Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD);  in handleCall()
1900           Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD);  in handleCall()
1902           Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD);  in handleCall()
1916             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1927             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1942     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1944     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1946     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
1952     Analyzer->addLock(  in handleCall()
1956     Analyzer->addLock(  in handleCall()
1966     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()
1979     Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind);  in handleCall()
2007   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);  in VisitBinaryOperator()
2148   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);  in VisitDeclStmt()
2581   ThreadSafetyAnalyzer Analyzer(Handler, *BSet);  in runThreadSafetyAnalysis()  local
2582   Analyzer.runAnalysis(AC);  in runThreadSafetyAnalysis()