Lines Matching refs:Analyzer
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 __anon721e4a080d11::BuildLockset
1559 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
1583 Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexNotHeld()
1585 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexNotHeld()
1593 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld()
1595 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1602 if (!Analyzer->inCurrentScope(Cp)) in warnIfMutexNotHeld()
1606 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1608 Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1613 const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1617 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1622 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1626 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1633 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1643 Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexHeld()
1645 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexHeld()
1651 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld()
1653 Analyzer->Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexHeld()
1719 if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) { in checkAccess()
1720 Analyzer->Handler.handleNoMutexHeld(D, POK, AK, Loc); in checkAccess()
1757 if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) in checkPtAccess()
1758 Analyzer->Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc()); in checkPtAccess()
1792 Analyzer->SxBuilder.createThisPlaceholder(Exp); in handleCall()
1812 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd in handleCall()
1825 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1827 Analyzer->addLock( in handleCall()
1836 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1838 Analyzer->addLock( in handleCall()
1847 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, Self); in handleCall()
1849 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1861 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, Self); in handleCall()
1863 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, Self); in handleCall()
1865 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, Self); in handleCall()
1876 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self); in handleCall()
1887 Analyzer->getMutexIDs(ScopedReqsAndExcludes, A, Exp, D, Self); in handleCall()
1902 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive); in handleCall()
1904 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared); in handleCall()
1906 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic); in handleCall()
1912 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1915 Analyzer->addLock( in handleCall()
1931 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
1959 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx); in VisitBinaryOperator()
2099 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx); in VisitDeclStmt()
2499 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis() local
2500 Analyzer.runAnalysis(AC); in runThreadSafetyAnalysis()