Lines Matching refs:Analyzer
276 ThreadSafetyAnalyzer& Analyzer);
279 ThreadSafetyAnalyzer &Analyzer);
283 ThreadSafetyAnalyzer& Analyzer,
968 ThreadSafetyAnalyzer& Analyzer) {
988 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
993 insertAttrExprs(Cpvd, Analyzer);
1004 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr);
1007 BeforeInfo *ArgInfo = getBeforeInfoForDecl(ArgVd, Analyzer);
1023 ThreadSafetyAnalyzer &Analyzer) {
1027 Info = insertAttrExprs(Vd, Analyzer);
1037 ThreadSafetyAnalyzer& Analyzer,
1047 BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);
1062 if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {
1065 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc);
1072 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());
1462 ThreadSafetyAnalyzer *Analyzer;
1484 Analyzer(Anlzr),
1507 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);
1509 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);
1517 FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);
1519 Analyzer->Handler.handleFunExcludesLock(
1526 if (!Analyzer->inCurrentScope(Cp))
1530 LDat = FSet.findLock(Analyzer->FactMan, Cp);
1532 Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(),
1538 FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);
1542 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);
1547 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),
1551 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),
1558 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),
1566 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);
1568 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind);
1574 FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp);
1576 Analyzer->Handler.handleFunExcludesLock(
1628 if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {
1629 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc);
1668 if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))
1669 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK,
1711 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd
1726 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);
1728 Analyzer->addLock(FSet,
1738 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);
1740 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(
1751 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD);
1753 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD);
1755 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD);
1769 Analyzer->getMutexIDs(A->isShared() ? ScopedSharedReqs
1792 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(
1796 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(
1805 CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);
1811 Analyzer->addLock(FSet,
1821 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);
1823 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);
1825 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);
1854 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);
1983 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);
2390 ThreadSafetyAnalyzer Analyzer(Handler, *BSet);
2391 Analyzer.runAnalysis(AC);
