297                               ThreadSafetyAnalyzer& Analyzer);
300                                    ThreadSafetyAnalyzer &Analyzer);
304                         ThreadSafetyAnalyzer& Analyzer,
1065     ThreadSafetyAnalyzer& Analyzer) {  in insertAttrExprs()  argument
1085             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1090               insertAttrExprs(Cpvd, Analyzer);  in insertAttrExprs()
1101             Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);  in insertAttrExprs()
1104             BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer);  in insertAttrExprs()
1120                                 ThreadSafetyAnalyzer &Analyzer) {  in getBeforeInfoForDecl()  argument
1124     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1134                                  ThreadSafetyAnalyzer& Analyzer,  in checkBeforeAfter()  argument
1144     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1159       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1162         Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc);  in checkBeforeAfter()
1169           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()
1530   ThreadSafetyAnalyzer *Analyzer;  member in __anon6254f0e10d11::BuildLockset
1554       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1575   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1577     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexNotHeld()
1585     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1587       Analyzer->Handler.handleFunExcludesLock(  in warnIfMutexNotHeld()
1594     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1598     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1600       Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1605   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1609     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1614       Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1618       Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1625     Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1633   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1635     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexHeld()
1641   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1643     Analyzer->Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexHeld()
1709   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1710     Analyzer->Handler.handleNoMutexHeld(D, POK, AK, Loc);  in checkAccess()
1747   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1748     Analyzer->Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc());  in checkPtAccess()
1787         Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd  in handleCall()
1800         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1802           Analyzer->addLock(  in handleCall()
1811         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1813           Analyzer->addLock(  in handleCall()
1822         Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);  in handleCall()
1824           Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(  in handleCall()
1836           Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD);  in handleCall()
1838           Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD);  in handleCall()
1840           Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD);  in handleCall()
1851             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1862             Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, VD);  in handleCall()
1877     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive);  in handleCall()
1879     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared);  in handleCall()
1881     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic);  in handleCall()
1887     Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,  in handleCall()
1890     Analyzer->addLock(  in handleCall()
1899     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()
1912     Analyzer->addLock(FSet, std::move(ScopedEntry));  in handleCall()
1940   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);  in VisitBinaryOperator()
2092   LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);  in VisitDeclStmt()
2486   ThreadSafetyAnalyzer Analyzer(Handler, *BSet);  in runThreadSafetyAnalysis()  local
2487   Analyzer.runAnalysis(AC);  in runThreadSafetyAnalysis()