Lines Matching refs:Analyzer
277 ThreadSafetyAnalyzer& Analyzer);
281 ThreadSafetyAnalyzer& Analyzer,
966 ThreadSafetyAnalyzer& Analyzer) { in insertAttrExprs() argument
985 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
990 insertAttrExprs(Cpvd, Analyzer); in insertAttrExprs()
1001 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
1007 ArgInfo = insertAttrExprs(ArgVd, Analyzer); in insertAttrExprs()
1034 ThreadSafetyAnalyzer& Analyzer, in checkBeforeAfter() argument
1047 Info = insertAttrExprs(Vd, Analyzer); in checkBeforeAfter()
1065 if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) { in checkBeforeAfter()
1068 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1075 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1465 ThreadSafetyAnalyzer *Analyzer; member in __anond54a86130b11::BuildLockset
1487 Analyzer(Anlzr), in BuildLockset()
1510 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); in warnIfMutexNotHeld()
1512 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexNotHeld()
1520 FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld()
1522 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1529 if (!Analyzer->inCurrentScope(Cp)) in warnIfMutexNotHeld()
1533 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1535 Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(), in warnIfMutexNotHeld()
1541 FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1545 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1550 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1554 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1561 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1569 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); in warnIfMutexHeld()
1571 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexHeld()
1577 FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld()
1579 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexHeld()
1631 if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) { in checkAccess()
1632 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc); in checkAccess()
1671 if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) in checkPtAccess()
1672 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK, in checkPtAccess()
1714 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd in handleCall()
1729 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); in handleCall()
1731 Analyzer->addLock(FSet, in handleCall()
1741 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); in handleCall()
1743 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1754 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD); in handleCall()
1756 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD); in handleCall()
1758 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD); in handleCall()
1772 Analyzer->getMutexIDs(A->isShared() ? ScopedSharedReqs in handleCall()
1795 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1799 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1808 CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr); in handleCall()
1814 Analyzer->addLock(FSet, in handleCall()
1824 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
1826 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
1828 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
1857 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx); in VisitBinaryOperator()
1978 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx); in VisitDeclStmt()
2385 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis() local
2386 Analyzer.runAnalysis(AC); in runThreadSafetyAnalysis()