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